Lambda-mu-calculus and Bohm's theorem
David, René ; Py, Walter
HAL, hal-00384701 / Harvested from HAL
Text on HAL
The lambda mu-calculus is an extension of the lambda-calculus that has been introduced by M. Parigot to give an algorithmic content to classical proofs. We show that Bohm's theorem fails in this calculus.
Publié le : 2001-01-15
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO],  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] 
@article{hal-00384701,
     author = {David, Ren\'e and Py, Walter},
     title = {Lambda-mu-calculus and Bohm's theorem},
     journal = {HAL},
     volume = {2001},
     number = {0},
     year = {2001},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00384701}
}

David, René; Py, Walter. Lambda-mu-calculus and Bohm's theorem. HAL, Tome 2001 (2001) no. 0, . http://gdmltest.u-ga.fr/item/hal-00384701/