A CONSISTENT EXTENSION OF THE LAMBDA-CALCULUS AS A BASE FOR FUNCTIONAL PROGRAMMING-LANGUAGES
A CONSISTENT EXTENSION OF THE LAMBDA-CALCULUS AS A BASE FOR FUNCTIONAL PROGRAMMING-LANGUAGES
复制标题
DOI：
10.1016/s0019-9958(82)90458-2
复制
发表时间：
1982-01-01
影响因子：
--
通讯作者：
FEHR, E
中科院分区：
文献类型：
--
作者：
BERKLING, KJ;FEHR, E
