BibTeX记录簿/daglib/0032840
@book{DBLP:books/daglib/0032840， 作者=｛Hendrik Pieter Barendregt和 Wil Dekkers和 Richard Statman}， title={带类型的Lambda微积分}， series={逻辑视角}， publisher={剑桥大学出版社}， 年份={2013}， url={ http://www.cambridge.org/de/academic/subjects/mathematics/logic-cateries-and-sets/lambda-calculus-types }, isbn={978-0-521-76614-2}， 时间戳={2014年3月12日星期三19:34:31+0100}， biburl={ https://dblp.org/rec/books/daglib/0032840.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
