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-test 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-test

Barendregt, Hendrik P. 1947- German National Library

Barendregt, Henk Wikipedia (en)

Barendregt, H. P. German National Library

VIAF ID: 109291023 (Personal)

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

ISNI-test: 0000  0001  0932  8983 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
Computable processes National Library of the Netherlands-test
Dirk van Dalen Festschrift National Library of the Netherlands-test NUKAT Center of Warsaw University Library
Grondslagen van de informatica National Library of the Netherlands-test
The incompleteness theorems National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Lambda calculus its syntax and semantics National Library of the Netherlands-test National Library of Israel Sudoc [ABES], France Library of Congress/NACO xR Extended Titles-test Wikipedia (en) NUKAT Center of Warsaw University Library National Library of France
Lambda Calculus with Types xR Extended Titles-test
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-test
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-test
perspectives in logic Wikipedia (en)
Some extensional term models for combinatory logics and [labda]-calculi National Library of the Netherlands-test Sudoc [ABES], France
Termination for direct sums of left-linear complete term rewriting systems National Library of the Netherlands-test
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-test 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 About

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