---

＜図書＞
The lambda calculus : its syntax and semantics / H.P. Barendregt
(Studies in logic and the foundations of mathematics ; v. 103)

版	Rev. ed.
出版者	Amsterdam ; New York : North-Holland
出版者	New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub.
出版年	1984
本文言語	英語
大きさ	xv, 621 p. : ill. ; 23 cm
著者標目	*Barendregt, H. P. (Hendrik Pieter), 1947-
件　名	LCSH:Lambda calculus
一般注記	Bibliography: p. 585-598 Includes indexes

 類似資料