Strong Normalization and Typability with Intersection Types
Strong Normalization and Typability with Intersection Types
复制标题
交叉点类型的强标准化和可打字性
DOI：
10.1305/ndjfl/1040067315
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
S. Ghilezan
中科院分区：
文献类型：
--
作者：
S. Ghilezan
给出了一个简单的证明的性质，即一组强正规化的lambda条款符合一组lambda条款typable在某些交叉型分配系统。
A simple proof is given of the property that the set of strongly normalizing lambda terms coincides with the set of lambda terms typable in certain intersection type assignment systems.