---

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

出版者	Amsterdam ; New York : North-Holland Pub.
出版者	New York : sole distributors for the U.S.A. and Canada Elsevier North-Holland
出版年	1981
本文言語	英語
大きさ	xiv, 615 p. : ill. ; 23 cm
著者標目	*Barendregt, H. P. (Hendrik Pieter), 1947-
件　名	LCSH:Lambda calculus
一般注記	Bibliography: p. 580-591 Includes indexes

 類似資料