Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000109328983 | 1 hits
Person
ISNI: 
0000 0001 0932 8983
Name: 
Barendregt, Ch
Barendregt, H.
Barendregt, H. P.
Barendregt, Hendrik P.
Barendregt, Hendrik Pieter
Barendregt, Henk
Barendregt, Henk P.
Dates: 
1947-
Creation class: 
article
Computer file
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
Related names: 
Cambridge University Press
Dekkers, Wil
International Workshop on Types for Proofs and Programs, TYPES (24-05-1993 - 28-05-1993 : Nijmegen, The Netherlands)
Klop, J.W. (1945-)
Klop, Jan Willem (1945-)
Minc, G. E. (1939- ))
Nipkow, Tobias (1958-)
Rijksuniversiteit te Utrecht
Statman, Richard
Toyama, Y.
Toyama, Yoshihito
Welters, Ron (1962-)
Titles: 
Lambda calculus : its syntax and semantics
Some extensional term models for combinatory logics and [lambda]-calculi
Notes: 
"Stellingen" ([2] p.) inserted
Summary in Dutch
Includes supplementary part II to the author's thesis
Thesis (doctoral)--Rijksuniversiteit te Utrecht, 1971
Sources: 
VIAF LC NKC NLI NTA NUKAT SUDOC WKP
DAI
TEL