著者典拠情報

著者標目形：
Barendregt, H. P. (Hendrik Pieter), 1947-
属性：
Personal
日付：
1947-
から見よ参照形：
Barendregt, Hendrik Pieter
Barendregt, Henk P
Barendregt, Henk
注記：
His On the interpretation of terms without a normal form, 1971
His The lambda calculus, 1984: CIP t.p. (H.P. Barendregt) data sht. (Barendregt, Henk P., b. 12/18/47)
EDSRC:Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, (eds.) (Springer-Verlag, c1994)
著者典拠ID：
DA01846885


1.

図書
図書
1. Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers (: gw ; : us)
Henk Barendregt, Tobias Nipkow, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 806
所蔵情報: 図書館
2.

図書
図書
2. The lambda calculus : its syntax and semantics. Rev. ed. (: pbk)
H.P. Barendregt
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub., 1984
シリーズ名: Studies in logic and the foundations of mathematics ; v. 103
所蔵情報: 図書館