Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. The Lambda-calculus;Barendregt,1984
2. An environment machine for the lambda–mu calculus;de~Groote;Mathematical Structures in Computer Science,1998
3. Nondeterministic extensions of untyped λ-calculus;de’ Liguoro;Information and Computation,1995
4. Lambda mu-calculus and Böhm’s theorem;David;The Journal of Symbolic Logic,2001
5. On Köthe sequence spaces and linear logic;Ehrhard;Mathematical Structures in Computer Science,2001
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Resource approximation for the λμ-calculus;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
2. A Logical Account for Linear Partial Differential Equations;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
3. An introduction to differential linear logic: proof-nets, models and antiderivatives;Mathematical Structures in Computer Science;2017-02-09
4. Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic;Logical Methods in Computer Science;2012-08-10
5. What is a categorical model of the differential and the resource λ-calculi?;Mathematical Structures in Computer Science;2012-02-27