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
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
Related names: 
Dekkers, Wil
International Workshop on Types for Proofs and Programs, TYPES (24-05-1993 - 28-05-1993 : Nijmegen, The Netherlands)
International Workshop TYPES 1, 1993, Nijmegen
Klop, J.W. (1945-)
Klop, Jan Willem (1945-)
Minc, G. E. (1939- ))
Mulder, H.
Mulder, Hans
Nipkow, Tobias (1958-)
Radboud Universiteit Nijmegen Affiliation (see also from)
Rijksuniversiteit te Utrecht
Statman, Richard
Toyama, Y.
Toyama, Yoshihito
Welters, Ron (1962-)
Titles: 
Computable processes
Dirk van Dalen : Festschrift
Grondslagen van de informatica
incompleteness of theorems, The
lambda calculus, 1984:, The
Lambda calculus : its syntax and semantics : international workshop TYPES'93, Nijmegen, the Netherlands, May 24-28, 1993, selected papers
lambda calculus, The : its syntax and semantics
Lambda calculus with types
Lambda - isčislenie : ego sintaksis i semantika
Needed reduction and spine strategies for the lambda calculus
On the interpretation of terms without a normal form.
Overleven in de complexe wereld
Some extensional term models for combinatory logics and labda - calculi
Some extensional term models for combinatory logics and [lambda]-calculi
Termination for direct sums of left-linear complete term rewriting systems
Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers
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 BNF DNB LC NKC NTA NUKAT SUDOC WKP
DAI
TEL