Barendregt, Hendrik Pieter, 1947-....
Barendregt, H. P. (Hendrik Pieter)
Barendregt, Henk (Hendrik Pieter), 1947-
Barendregt, H. P. (1947- ).
Barendregt, Hendrik P. 1947-
Henk Barendregt Dutch mathematician
Barendregt, H. P.
Barendregt, Hendrik Pieter
Barendregt, Henk
VIAF ID: 109291023 ( Personal )
Permalink: http://viaf.org/viaf/109291023
Preferred Forms
-
- 200 _ | ‡a Barendregt ‡b Hendrik Pieter ‡f 1947-....
-
-
- 100 1 0 ‡a Barendregt, H. P. ‡q (Hendrik Pieter)
-
- 100 1 _ ‡a Barendregt, H. P. ‡q (Hendrik Pieter)
-
-
- 100 1 _ ‡a Barendregt, Hendrik P. ‡d 1947-
-
- 100 1 _ ‡a Barendregt, Hendrik Pieter ‡d 1947-...
- 100 1 _ ‡a Barendregt, Hendrik Pieter, ‡d 1947-....
-
-
-
- 100 0 _ ‡a Henk Barendregt ‡c Dutch mathematician
4xx's: Alternate Name Forms (42)
5xx's: Related Names (5)
- 510 2 _ ‡a Foundations (Leerstoelgroep)
- 510 2 _ ‡a International Workshop on Types for Proofs and Programs, TYPES (24-05-1993 - 28-05-1993 : Nijmegen, The Netherlands)
- 510 2 _ ‡a Radboud Universiteit Nijmegen
- 510 2 _ ‡a Radboud Universiteit Nijmegen ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Rijksuniversiteit te Utrecht
Works
Title | Sources |
---|---|
Categorical type theory | |
Computable processes | |
Dirk van Dalen Festschrift | |
Grondslagen van de informatica | |
(In)flexible self: psychopathology, mindfulness, and neuroscience | |
The incompleteness theorems | |
Lambda calculus : its syntax and semantics | |
Lambda - isčislenie : ego sintaksis i semantika / H. Barendregt ; perev. s ang. G. E. Minca ; pod red. A. S. Kuzičeva. - Moskva, 1985. | |
Needed reduction and spine strategies for the lambda calculus | |
On the interpretation of terms without a normal form. | |
Overleven in de complexe wereld | |
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 | |
TYPES'93 |