Transplanting of Environments between Closures in the lambda calculus
Transplanting of Environments between Closures in the lambda calculus
复制标题
lambda演算中闭包之间环境的移植
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Shin-ya NISHIZAKI
中科院分区：
文献类型：
--
作者：
Atsushi Nunome;Hiroaki Hirata;Shin-ya NISHIZAKI
登录
查看更多内容
DOI：
10.1007/978-3-642-53932-9_23
发表时间：
2013
期刊：
--
影响因子：
--
作者：
S. Nishizaki
通讯作者：
S. Nishizaki
DOI：
10.1142/9789813234079_0003
发表时间：
2017
期刊：
影响因子：
--
作者：
Hiroki Joko;S. Nishizaki
通讯作者：
S. Nishizaki
DOI：
10.1023/a:1010010314528
发表时间：
2000
期刊：
Higher-Order and Symbolic Computation
影响因子：
--
作者：
S. Nishizaki
通讯作者：
S. Nishizaki
具有功能可引用环境的无类型 lambda 演算
DOI：
10.1145/3457784.3457798
发表时间：
2021
期刊：
ICSCA2021
影响因子：
--
作者：
Nishizaki Shin-ya;Kasuga Ryotaro
通讯作者：
Kasuga Ryotaro
具有一流环境的简单类型 Lambda 演算
DOI：
10.2977/prims/1195164948
发表时间：
1994
影响因子：
1.2
作者：
S. Nishizaki
通讯作者：
S. Nishizaki