Henk Barendregt
Title
Cited by
Cited by
Year
The Lambda Calculus. Number 103 in Studies in Logic and the Foundations of Mathematics
HP Barendregt
North-Holland, Amsterdam, revised edition, 1991
6379*1991
Lambda calculi with types
HP Barendregt
Oxford: Clarendon Press, 1992
17451992
A filter lambda model and the completeness of type assignment1
H Barendregt, M Coppo, M Dezani-Ciancaglini
The journal of symbolic logic 48 (4), 931-940, 1983
6761983
Term graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
International conference on parallel architectures and languages Europe, 141-158, 1987
4861987
Introduction to generalized type systems
H Barendregt
Journal of functional programming 1 (2), 125-154, 1991
4181991
Lambda calculus with types
H Barendregt, W Dekkers, R Statman
Cambridge University Press, 2013
358*2013
Greater efficiency in attentional processing related to mindfulness meditation
PAM van den Hurk, F Giommi, SC Gielen, AEM Speckens, HP Barendregt
Quarterly Journal of Experimental Psychology 63 (6), 1168-1180, 2010
3452010
The efficacy of mindfulness-based cognitive therapy in recurrent depressed patients with and without a current depressive episode: a randomized controlled trial
JR Van Aalderen, ART Donders, F Giommi, P Spinhoven, HP Barendregt, ...
Psychological medicine 42 (5), 989-1001, 2012
2702012
The impact of the lambda calculus in logic and computer science
H Barendregt
Bulletin of Symbolic Logic 3 (2), 181-215, 1997
1491997
The type free lambda calculus
HP Barendregt
Studies in Logic and the Foundations of Mathematics 90, 1091-1132, 1977
149*1977
Effects of mindfulness-based cognitive therapy on neurophysiological correlates of performance monitoring in adult attention-deficit/hyperactivity disorder
PLA Schoenberg, S Hepark, CC Kan, HP Barendregt, JK Buitelaar, ...
Clinical Neurophysiology 125 (7), 1407-1416, 2014
1452014
Proof-assistants using dependent type systems
H Barendregt, H Geuvers
Handbook of automated reasoning, 1149-1238, 2001
1412001
Functional programming and lambda calculus
HP Barendregt
Formal models and semantics, 321-363, 1990
1371990
Handbook of logic in computer science
H Barendregt, S Abramsky, DM Gabbay, TSE Maibaum
Lambda calculi with types 2, 117-309, 1992
1341992
The regulation of brain states by neuroactive substances distributed via the cerebrospinal fluid; a review
JG Veening, HP Barendregt
Cerebrospinal Fluid Research 7 (1), 1-16, 2010
1312010
The lambda calculus (revised edition)
HP Barendregt
Studies in Logic 103, 1984
1261984
On the relationship between the practice of mindfulness meditation and personality—an exploratory analysis of the mediating role of mindfulness skills
PAM van den Hurk, T Wingens, F Giommi, HP Barendregt, AEM Speckens, ...
Mindfulness 2 (3), 194-200, 2011
1252011
Oxytocin-messages via the cerebrospinal fluid: behavioral effects; a review
JG Veening, T de Jong, HP Barendregt
Physiology & behavior 101 (2), 193-210, 2010
1132010
Autarkic computations in formal proofs
H Barendregt, E Barendsen
Journal of Automated Reasoning 28 (3), 321-336, 2002
1062002
Needed reduction and spine strategies for the lambda calculus
HP Barendregt, JR Kennaway, JW Klop, MR Sleep
Information and Computation 75 (3), 191-231, 1987
931987
The system can't perform the operation now. Try again later.
Articles 1–20