Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference2 articles.
1. H. P. Barendregt,The Type Free Lambda Calculus. Handbook of math. Logic, J. Barwise, ed., North-Holland, Amsterdam, 1977, pp. 1091–1132.
2. D. S. Scott,Lambda Calculus: Some Models, some Philosophy, 33 pp., to appear.
Cited by
74 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Measuring the Quality of Intelligent Systems;Lecture Notes in Networks and Systems;2024
2. How to Explain Artificial Intelligence to Humans;Communications in Computer and Information Science;2024
3. Extensional and Non-extensional Functions as Processes;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
4. Why Are Proofs Relevant in Proof-Relevant Models?;Proceedings of the ACM on Programming Languages;2023-01-09
5. Requirements Engineering for Cyber-Physical Products;Communications in Computer and Information Science;2023