Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
General Mathematics,General Computer Science
Reference14 articles.
1. Colloq. Internat. CNRS;Barendregt H.,1977
Cited by
169 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Extensional and Non-extensional Functions as Processes;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Why Are Proofs Relevant in Proof-Relevant Models?;Proceedings of the ACM on Programming Languages;2023-01-09
3. The theory of call-by-value solvability;Proceedings of the ACM on Programming Languages;2022-08-29
4. Addressing Machines as models of lambda-calculus;Logical Methods in Computer Science;2022-07-29
5. A Compositional Cost Model for the λ-calculus;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29