VIAF

Virtual International Authority File

Search

Barendregt, Hendrik Pieter, 1947-.... Sudoc [ABES], France National Library of France

Barendregt, Henk (Hendrik Pieter), 1947- National Library of the Netherlands National Library of the Czech Republic

Barendregt, H. P. (Hendrik Pieter) National Library of Israel Library of Congress/NACO

Barendregt, H. P. (1947- ). NUKAT Center of Warsaw University Library

Barendregt, H. ISNI

Barendregt, Hendrik P. 1947- German National Library

Henk Barendregt Nederlands wiskundige Wikidata

Barendregt, H. P. German National Library

VIAF ID: 109291023 (Personal)

Permalink: http://viaf.org/viaf/109291023

ISNI: 0000  0001  0932  8983 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (25)

Open Section Close SectionWorks

Title Sources
Computable processes National Library of the Netherlands
Dirk van Dalen Festschrift National Library of the Netherlands NUKAT Center of Warsaw University Library
Grondslagen van de informatica National Library of the Netherlands
The incompleteness theorems National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Lambda calculus its syntax and semantics NUKAT Center of Warsaw University Library National Library of Israel National Library of the Netherlands Library of Congress/NACO xR Extended Titles Sudoc [ABES], France National Library of France
Lambda - isčislenie : ego sintaksis i semantika NUKAT Center of Warsaw University Library
Needed reduction and spine strategies for the lambda calculus National Library of the Netherlands
On the interpretation of terms without a normal form, 1971. National Library of Israel Library of Congress/NACO
Overleven in de complexe wereld National Library of the Netherlands
Some extensional term models for combinatory logics and lambda-calculi NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France
Termination for direct sums of left-linear complete term rewriting systems National Library of the Netherlands
Types for Proofs and Programs International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers NUKAT Center of Warsaw University Library Library of Congress/NACO German National Library National Library of the Netherlands Sudoc [ABES], France National Library of France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:109291023 (31)