λμ-calculus and Böhm's theorem
René David, Walter Py · Journal of Symbolic Logic · 2001
Abstract The λμ-calculus is an extension of the λ-calculus that has been introduced by M Parigot to give an algorithmic content to classical proofs. We show that Böhm's theorem fails in this calculus.