Barendregt, Henk (Hendrik Pieter), 1947-
Barendregt, Hendrik Pieter, 1947-....
Barendregt, H. P. (1947- ).
Barendregt, H. P. (Hendrik Pieter)
Barendregt, Hendrik P. 1947-
Barendregt, Henk
VIAF ID: 109291023 (Personal)
Permalink: http://viaf.org/viaf/109291023
Preferred Forms
-
100 1 0 ‡a Barendregt, H. P. ‡q (Hendrik Pieter)
-
100 1 _ ‡a Barendregt, Henk
-
100 1 _ ‡a Barendregt, Henk ‡q (Hendrik Pieter), ‡d 1947-
-
200 _ | ‡a Barendregt ‡b Hendrik Pieter ‡f 1947-....
-
100 1 _ ‡a Barendregt, Hendrik Pieter, ‡d 1947-....
-
100 1 _ ‡a Barendregt, H. P. ‡d (1947- ).
-
100 1 _ ‡a Barendregt, Hendrik P. ‡d 1947-
4xx's: Alternate Name Forms (14)
Selected Titles
- The lambda calculus : its syntax and semantics
(10)
- Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers
(3)
- Lambda calculus
(3)
- Types for proofs and programs
(2)
- The lambda calculus, 1984:
(2)
- Some extensional term models for combinatory logics and labda - calculi
(2)
- On the interpretation of terms without a normal form.
(2)
- Lambda - isčislenie : ego sintaksis i semantika
(2)
- Types for proofs and programs International workshop TYPES'93, Nijmegen, the Netherlands, May 24-28, 1993, selected papers
(1)
- Types for proofs and programs : international workshop TYPES'93, Nijmegen, the Netherlands, May 24-28, 1993, selected papers
(1)
