Publisher
Springer Science and Business Media LLC
Reference6 articles.
1. Barendregt, H.: The lambda calculus. Amsterdam: North-Holland 1984
2. Girard, J.-Y.: Une extension de l'interprétation de Gödel à l'analyse. In: Fenstad, J. (ed.) Proc. 2nd Scand. Logic Symp., pp. 63–92. Amsterdam: North-Holland 1971
3. Krivine, J.-L.: Lambda-calcul, évaluation paresseuse et mise en mémoire. A paraître dans Informatique théorique et applications (R.A.I.R.O.)
4. Krivine, J.-L.: Lambda-calcul, types et modèles. Paris: Masson 1990
5. Leivant, D.: Reasoning about functional programs and complexity classes associated with type disciplines. 24th Annual Symp. on Found. of Comp. Sci. pp. 460–469, 1983
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A REVISED COMPLETENESS RESULT FOR THE SIMPLY TYPED lambda mu-CALCULUS USING REALIZABILITY SEMANTICS;LOG METH COMPUT SCI;2017
2. A Rewrite System for Proof Constructivization;Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice;2016-06-23
3. Dialogue Categories and Chiralities;Publications of the Research Institute for Mathematical Sciences;2016
4. Krivine's classical realisability from a categorical perspective;Mathematical Structures in Computer Science;2013-04-10
5. Polarizing Double-Negation Translations;Logic for Programming, Artificial Intelligence, and Reasoning;2013