Transplanting of Environments between Closures in the lambda calculus

Transplanting of Environments between Closures in the lambda calculus
复制标题

lambda演算中闭包之间环境的移植

DOI:
--
复制
发表时间:
2023
期刊:
影响因子:
--
通讯作者:
Shin-ya NISHIZAKI
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