Abstract
AbstractThe λμ-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.
Publisher
Cambridge University Press (CUP)
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Resource approximation for the λμ-calculus;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
2. A Constructive Logic with Classical Proofs and Refutations;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
3. Characterizing of Strong Normalization forΛμ-Calculus;Journal of Physics: Conference Series;2019-04
4. TAYLOR EXPANSION IN LINEAR LOGIC IS INVERTIBLE;LOG METH COMPUT SCI;2018
5. INTERSECTION TYPES FOR THE lambda mu-CALCULUS;LOG METH COMPUT SCI;2018