Set-theoretical models of λ-calculus: theories, expansions, isomorphisms
Set-theoretical models of λ-calculus: theories, expansions, isomorphisms
复制标题
λ 演算的集合论模型：理论、展开式、同构
DOI：
--
复制
发表时间：
1983
影响因子：
0.8
通讯作者：
G. Longo
中科院分区：
文献类型：
--
作者：
G. Longo
