VIAF

Virtual International Authority File

Search

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

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

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

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

Barendregt, H. ISNI-test

Barendregt, Hendrik P. 1947- German National Library

Barendregt, Henk Wikipedia (en)-test

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 Section 5xx's: Related Names (1)

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

Open Section Close Section Selected Titles

  1. The lambda calculus : its syntax and semantics ‎(12) National Library of the Netherlands-test NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of France
  2. Lambda calculus ‎(5) NUKAT Center of Warsaw University Library
  3. Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers ‎(3) National Library of the Netherlands-test Library of Congress/NACO
  4. Types for proofs and programs selected papers ‎(2) NUKAT Center of Warsaw University Library German National Library
  5. Types for proofs and programs International workshop TYPES'93, Nijmegen, the Netherlands, May 24-28, 1993, selected papers ‎(2) National Library of France
  6. Some extensional term models for combinatory logics and labda - calculi ‎(2) National Library of the Netherlands-test
  7. On the interpretation of terms without a normal form. ‎(2) Library of Congress/NACO
  8. Lambda calculus with types ‎(2) NUKAT Center of Warsaw University Library Library of Congress/NACO
  9. Lambda - isčislenie : ego sintaksis i semantika ‎(2) NUKAT Center of Warsaw University Library
  10. The lambda calculus, 1984: ‎(1) Library of Congress/NACO

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