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)
Klop, J.W. (1945-)
Klop, Jan Willem (1945-)
Kuzičev, A. S.
Minc, G. E. (1939- ))
Mulder, H.
Mulder, Hans
Nipkow, Tobias (1958-)
Statman, Richard
Welters, Ron (1962-)
Titles: 
Computable processes
Dirk van Dalen : Festschrift
Grondslagen van de informatica
incompleteness of theorems, The
lambda calculus, 1984:, The
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
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: 
Sources: 
VIAF BNF LC NKC NTA NUKAT SUDOC WKP
DAI
TEL