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

Henk Barendregt Nederlands wiskundige Wikidata

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 (25)

Open Section Close Section 5xx's: Related Names (1)

  • 510 2 _ ‎‡a  Radboud Universiteit Nijmegen‏ ‎‡e  Affiliation German National Library

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 NUKAT Center of Warsaw University Library 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-test
On the interpretation of terms without a normal form. National Library of Israel Library of Congress/NACO
Overleven in de complexe wereld National Library of the Netherlands-test
Some extensional term models for combinatory logics and [lambda]-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 History of VIAF ID:109291023 (31)