A General Storage Theorem for Integers in Call-by-Name lambda-Calculus
A General Storage Theorem for Integers in Call-by-Name lambda-Calculus
复制标题
命名调用 lambda 演算中整数的通用存储定理
DOI：
--
复制
发表时间：
1994
影响因子：
1.1
通讯作者：
J. Krivine
中科院分区：
文献类型：
--
作者：
J. Krivine
