《理论计算机科学》第121卷
第121卷,编号1和2,1993
马丁·阿巴迪 , 鲁卡·凯德利 , 皮埃尔·路易斯·居里 :
形式参数多态。 9-58 亨克·巴伦德雷格特 :
λ-演算中范围性质的构造性证明。 59-69 亚历山德罗·贝拉杜奇 , 贝内代托·因特里吉拉 :
关于Easy lambda-Terms的一些新结果。 71-88 罗伯特·康斯特布尔 , 斯科特·史密斯 :
基本递归函数理论的计算基础。 89-112 马里奥·科波奥 , 阿尔贝托·费拉里 :
类型推理、抽象解释和严格性分析。 113-143 杰拉德·P·休特 :
Böhm定理分析。 145-167 G.贾科皮尼 , G.桑塔基 :
非常简单的可解释类型lambda-Calculus中的一般递归函数。 169-178 斯蒂芬·布鲁克斯 :
G.Kahn和Gordon D.Plotkin对“混凝土领域”的历史介绍。 179-186 吉尔斯·卡恩 , 戈登·普洛金 :
混凝土领域。 187-277 简·威廉·克洛普 , 文森特·范·奥斯特罗姆 , 费尔克·范·拉姆斯登克 :
组合还原系统:介绍和综述。 279-308 丹尼尔·莱万特 :
简单类型lambda演算中可定义的自由代数上的函数。 309-322 朱塞佩·隆戈 , 凯瑟琳·米尔斯特德 , 谢尔盖·索洛维耶夫 :
多态lambda-演算中的广义定理和参数性。 323-349 戈登·普洛金 :
λ演算的集合理论模型和其他基本模型。 351-409 达纳·S·斯科特 :
ISWIM、CUCH、OWHY的类型理论替代方案。 411-440 理查德·斯塔特曼 :
不存在组合器的一些示例。 441-448