. . . . “Hendrik-Pieter-Barendregt等人：Lambda微积分与类型。（2013）”。 _：ID_0880615c1d603c2761f0708397881728。_：ID_0880615c1d603c2761f0708397881728 ._：ID_0880615c1d603c2761f0708397881728 ._：ID_0880615c1d603c2761f0708397881728“books/daglib/0032840”。 . _：ID_1819eb5464ba96617189fa7bdee27162。_：ID_1819eb5464ba96617189fa7bdee27162 ._：ID_1819eb5464ba96617189fa7bdee27162 ._：ID_1819eb5464ba96617189fa7bdee27162"9780521766142" . 《Lambda微积分与类型》。 . . . . "3"^^. _：Sig_254b3200c0235f6 b6 ebb4 4283a4 b3a6 c6 1。_：Sig_254b3200c0235f6 b6 ebb4 4283a4 b3a6 c6 1 ._：Sig_254b3200c0235f6 b6 ebb4 4283a4 b3a6 c6 1“亨德里克·彼得·巴伦德雷特”。_：Sig_254b3200c0235f6 b6 ebb4 4283a4 b3a6 c6 1 ._：Sig_254b3200c0235f6 b6 ebb4 4283a4 b3a6 c6 1"1"^^._：Sig_254b3200c0235f6 b6 ebb4 4283a4 b3a6 c6 1 . _：Sig_254b3200c0235f6 b6 ebb4 4283a4 b3a6 c6。_：Sig_254b3200c0235f6 b6 ebb4 4283a4 b3a6 c6 2 ._：Sig_254b3200c0235f6 b6 ebb4 4283a4 b3a6 c6 2“Wil Dekkers”。_：Sig_254b3200c0235f6 b6 ebb4 4283a4 b3a6 c6 2 ._：Sig_254b3200c0235f6 b6 ebb4 4283a4 b3a6 c6 2"2"^^._：Sig_254b3200c0235f6b7ebb41283a4b3a6c_2 . _：Sig_254b3200c0235f6 b6 ebb4 4283a4 b3a6 c3。_：Sig_254b3200c0235f6 b6 ebb41283a4 b3a6 c6 ._：Sig_254b3200c0235f6 b6 ebb41283a4 b3a6 c6“Richard Statman”。_：Sig_254b3200c0235f6 b6 ebb41283a4 b3a6 c6 ._：Sig_254b3200c0235f6 b6 ebb41283a4 b3a6 c6"3"^^._：Sig_254b3200c0235f6 b6 ebb41283a4 b3a6 c6 . . . “I-XXII，1-833”。 “逻辑视角”。 “逻辑视角”。 "2013"^^. “剑桥大学出版社”。 “dblp记录'books/daglib/0032840'的RDF数据的起源信息”。 . . . “2014-03-12T19:34:31+0100”。