Untyped lambda calculus with functionally referable environments-Reference-Cited by-同舟云学术

Untyped lambda calculus with functionally referable environments

Published:2021-02-23 Issue: Volume: Page:
ISSN:
Container-title:2021 10th International Conference on Software and Computer Applications
language:
Short-container-title:

Author:

Nishizaki Shin-ya¹,Kasuga Ryotaro²

Affiliation:

1. Tokyo Institute of Technology and Tokyo Institute of Technology, Japan

2. Tokyo Institute of Technology, Japan

Funder

Grant-in-Aid for Scientific Research (C)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3457784.3457798

Reference11 articles.

1. Explicit substitutions

2. Yuta Aoyagi and Shin-ya Nishizaki. 2018. Untyped Call-by-Value Calculus with First-Class Continuations and Environments. In Theory and Practice of Computation. World Scientific 101–117. doi:10.1142/9789813279674_0008. Yuta Aoyagi and Shin-ya Nishizaki. 2018. Untyped Call-by-Value Calculus with First-Class Continuations and Environments. In Theory and Practice of Computation. World Scientific 101–117. doi:10.1142/9789813279674_0008.

3. H. P. Barendregt. 2013. The Lambda Calculus: Its Sytax and Semantics Revised Edition. North Holland. H. P. Barendregt. 2013. The Lambda Calculus: Its Sytax and Semantics Revised Edition. North Holland.

4. Oliver Laumann. [n.d.]. Elk – The Extension Language Kit Scheme Reference. http://www-rn.informatik.uni-bremen.de/software/elk/doc.html. Oliver Laumann. [n.d.]. Elk – The Extension Language Kit Scheme Reference. http://www-rn.informatik.uni-bremen.de/software/elk/doc.html.

Cited by 1 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