Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Transplanting of Environments between Closures in the lambda calculus;Proceedings of the 2023 12th International Conference on Software and Computer Applications;2023-02-23
2. Formalizing dynamic-wind in the lambda calculus;2022 11th International Conference on Software and Computer Applications;2022-02-24
3. Extracting Environments from Function Closures;2022 11th International Conference on Software and Computer Applications;2022-02-24
4. Untyped lambda calculus with functionally referable environments;2021 10th International Conference on Software and Computer Applications;2021-02-23
5. ML Polymorphism of Linear Lambda Calculus with First-class Continuations;Proceedings of the 2019 8th International Conference on Software and Computer Applications;2019-02-19