克里斯·汉金 [乔安·拉斯加] 计算机科学家对lambda calculi的介绍。Joáo Rasga翻译自英语。（Introduçáo ao cálculo lambda。） （葡萄牙语） Zbl 1259.03002号 Lógica和Computação学院2.伦敦：学院出版物（ISBN 978-1-84890-084-4/pbk）。xiv，170页。(2012). 请参阅中的英文原件审查[Zbl 1088.03002号]. MSC公司： 03-01 与数理逻辑和基础有关的介绍性阐述（教科书、辅导论文等） 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 03B40型 组合逻辑与lambda演算 68甲18 函数编程和lambda演算 引文：兹比尔1088.03002 PDF格式BibTeX公司 XML格式引用 \textit{C.Hankin}，Introduçáo ao Cálculo lambda（葡萄牙语）。伦敦：学院出版物（2012；Zbl 1259.03002）