马特·布朗;延斯·帕尔斯伯格 吉拉德系统U中的自我表征。 （英语） Zbl 1345.68039号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。471-484 (2015). 引用于2文件 MSC公司： 68甲18 函数编程和lambda演算 03B40型 组合逻辑与lambda演算 68甲15 编程语言理论 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：λ演算;自我介绍;类型 引文：Zbl 0736.03003号 PDF格式BibTeX公司 XML格式引用 \textit{M.Brown}和\textit{J.Palsberg}，摘自：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2015年1月12日至18日，印度孟买，POPL'15。纽约州纽约市：计算机协会（ACM）。471--484（2015；Zbl 1345.68039） 全文： 内政部