%0 Conference Proceedings
%F kots2008
%A Kozen, Dexter
%A Tseng, Wei-Lung Dustin
%T The B{ö}hm-Jacopini Theorem Is False, Propositionally
%B MPC
%P 177-192
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/kozen2008a.pdf
%U http://dx.doi.org/10.1007/978-3-540-70594-9_11
%D 2008
%K algexp