Publisher
Springer Science and Business Media LLC
Reference37 articles.
1. Abadi, M., Cardelli, L., Curien, P.-L., and Levy, J.-J.: 1991, ?Explicit Substitutions?,J. of Functional Programming 375?416.
2. Barendregt, H. P.: 1977, ?The Type-Free Lambda Calculus?, in Barwise 1977, 1091?1132.
3. Barendregt, H. P.: 1984,The Lambda Calculus: Its Syntax and Semantics (2nd. edn.), North-Holland, Amsterdam.
4. Barwise, J. (ed.): 1977,Handbook of Mathematical Logic, North-Holland, Amsterdam.
5. Beeson, M.: 1981, ?Formalizing Constructive Mathematics: Why and How??, inConstructive Mathematics, Lecture Notes in Mathematics 873, 146?190.
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献