Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] 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: 
Dalen, Dirk van (1932-....))
Dekkers, Wil
International Workshop on Types for Proofs and Programs, TYPES (24-05-1993 - 28-05-1993 : Nijmegen, The Netherlands)
Minc, G. E. (1939- ))
Mulder, H.
Mulder, Hans
Nipkow, Tobias
Rijksuniversiteit te Utrecht
Statman, Richard
Toyama, Y.
Toyama, Yoshihito
Welters, Ron (1962-)
Titles: 
Computable processes
Dirk van Dalen Festschrift
Grondslagen van de informatica
incompleteness theorems, The
Lambda calculus its syntax and semantics
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, 1971.
Overleven in de complexe wereld
perspectives in logic
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 LC NKC NLI NTA NUKAT SUDOC WKP
DAI
TEL