Barendregt, H. P.   (1947-)

この人物の情報

人物別名 H. P. Barendregt

Barendregt, Hendrik Pieter

Barendregt, Henk P

Barendregt, Henk
生年 1947年
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
Lambda calculus with types Henk Barendregt, Wil Dekkers, Richard Statman Association for Symbolic Logic
Cambridge University Press
2013
The lambda calculus, its syntax and semantics Henk P. Barendregt College
c2012
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
The lambda calculus : its syntax and semantics H.P. Barendregt North-Holland Pub. Co.
Sole distributors for the U.S.A. and Canada, Elsevier Science
-
The lambda calculus : its syntax and semantics H.P. Barendregt North-Holland
Sole distributors for the USA and Canada, Elsevier Science Pub.
1984
The lambda calculus : its syntax and semantics H.P. Barendregt North-Holland Pub.
Sole distributors for the U.S.A. and Canada, Elsevier North-Holland
1981
The lambda calculus : its syntax and semantics H.P. Barendregt North-Holland
Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
1984
The incompleteness theorems Henk Barendregt Mathematical Institute, Rijksuniversiteit Utrecht
1976
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想