Citation
R. David et W. Py, lambda mu-calculus and Bohm's theorem, J SYMB LOG, 66(1), 2001, pp. 407-413
Citations number
9
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812
→ ACNP
Volume
66
Issue
1
Year of publication
2001
Pages
407 - 413
Database
ISI
SICI code
0022-4812(200103)66:1<407:LMABT>2.0.ZU;2-V
Abstract
The lambda mu -calculus is an extension of the lambda -calculus that has be
en introduced by M Parigot to give an algorithmic content to classical proo
fs. We show that Bohm's theorem Fails in this calculus.