Subject
Computational Mathematics,Algebra and Number Theory
Reference3 articles.
1. The Lambda Calculus;Barendregt,1984
2. Combinatory Reduction Systems;Klop,1980
3. An algebraic interpretation of the λ-β-K calculus and a labelled λ-calculus;Levy;Springer Lec. Notes Comp.,1975
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs;Proceedings of the ACM on Programming Languages;2024-08-15
2. Revisiting occurrence typing;Science of Computer Programming;2022-05
3. Undecidability of higher-order unification formalised in Coq;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20
4. Coq Coq correct! verification of type checking and erasure for Coq, in Coq;Proceedings of the ACM on Programming Languages;2020-01
5. Call-by-push-value in Coq: operational, equational, and denotational theory;Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019;2019