Author:
Neergaard Peter Møller,Sørensen Morten Heine
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference40 articles.
1. Church, A. 1941, The Calculi of Lambda-Conversion, Princeton University Press, Princeton, NJ.
2. The ant-lion paradigm for strong normalization;Böhm;Inform. and Comput.,1994
3. Intensional interpretations of functionals of finite type I;Tait;J. Symbolic Logic,1967
4. Girard, J.-Y. 1972, Interprétation Fonctionnelle et Elimination des Coupures de l'Arithmétique d'ordre Supérieur, Thèse d'Etat, Université de Paris VII.
5. Tait, W. W.1975, A realizability interpretation of the theory of species, inLogic ColloquiumR. Parikh, Ed., Lecture Notes in Mathematics, Vol. 453, pp. 240–251, Springer-Verlag, Berlin.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献