A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation
A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation
复制标题
具有引用和解除分配的无类型 lambda 演算中上下文属性的类似互模拟的证明方法
DOI：
--
复制
发表时间：
2010
影响因子：
1.1
通讯作者：
Eijiro Sumii
中科院分区：
文献类型：
--
作者：
S. Nakamura;Y. Midorikawa;M. Nakatsu;et al.;Eijiro Sumii
