The Safe Lambda Calculus
The Safe Lambda Calculus
复制标题
安全 Lambda 演算
DOI：
10.2168/lmcs-5(1:3)2009
复制
发表时间：
2009
影响因子：
0.6
通讯作者：
Blum W
中科院分区：
文献类型：
--
作者：
Blum W
登录
查看更多内容
具有迭代的三阶理想化 Algol 可判定
DOI：
10.1016/j.tcs.2007.09.022
发表时间：
2005
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
A. Murawski;I. Walukiewicz
通讯作者：
I. Walukiewicz
三阶理想化 Algol 的观测等价性是可判定的
DOI：
10.1109/lics.2002.1029833
发表时间：
2002
期刊：
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
C. Ong
通讯作者：
C. Ong
DOI：
--
发表时间：
2009
期刊：
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on principles of Programming Languages (POPL 2009)
影响因子：
--
作者：
Naoki Kobayashi;Types and Higher-Order
通讯作者：
Types and Higher-Order
影响因子：
--
作者：
DAMM, W;GOERDT, A
通讯作者：
GOERDT, A
计算机科学中的代数逻辑和通用代数
DOI：
--
发表时间：
1988
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
C. Bergman;R. Maddux;D. Pigozzi
通讯作者：
D. Pigozzi