The Bhm-Jacopini Theorem Is False, Propositionally.

Dexter Kozen, Wei-Lung Dustin Tseng

Browse the full MPC paper archive.