皮埃尔·卢伊斯·居里;塞雷塞·哈丁;利维·杰克·雅克 显式置换的弱结石和强结石的合流性质。 （英语） Zbl 0885.03014号 美国临床医学杂志 43，第2期，362-397（1996）. 引用于26文件 MSC公司： 03B40型 组合逻辑与lambda演算 68号01 软件理论的一般主题 2012年第68季度 语法和重写系统 关键词：功能构造;汇流;显式替换的计算;范畴组合子;lambda-sigma微积分 引文：Zbl 0672.03006号;Zbl 0707.03012号 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.Curien}等人，J.ACM 43，No.2，362--397（1996；Zbl 0885.03014） 全文： 内政部 链接 链接