Henk Barendregt
Cited by
Cited by
The Lambda Calculus. Number 103 in Studies in Logic and the Foundations of Mathematics
HP Barendregt
North-Holland, Amsterdam, revised edition, 1991
Lambda calculi with types
HP Barendregt
Oxford: Clarendon Press, 1992
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
Term graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
International conference on parallel architectures and languages Europe, 141-158, 1987
Introduction to generalized type systems
H Barendregt
Journal of functional programming 1 (2), 125-154, 1991
Lambda calculus with types
H Barendregt, W Dekkers, R Statman
Cambridge University Press, 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
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
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
The type free lambda calculus
HP Barendregt
Studies in Logic and the Foundations of Mathematics 90, 1091-1132, 1977
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
The impact of the lambda calculus in logic and computer science
H Barendregt
Bulletin of Symbolic Logic 3 (2), 181-215, 1997
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
Proof-Assistants Using Dependent Type Systems.
H Barendregt, H Geuvers
Handbook of automated reasoning 2, 1149-1238, 2001
Lambda Calculi with Types, Handbook of Logic in Computer Science Vol. II
HP Barendregt
Oxford University Press, 1992
Functional programming and lambda calculus
HP Barendregt
Formal models and semantics, 321-363, 1990
Oxytocin-messages via the cerebrospinal fluid: behavioral effects; a review
JG Veening, T de Jong, HP Barendregt
Physiology & behavior 101 (2), 193-210, 2010
Autarkic computations in formal proofs
H Barendregt, E Barendsen
Journal of Automated Reasoning 28 (3), 321-336, 2002
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
Mindfulness meditation associated with alterations in bottom-up processing: psychophysiological evidence for reduced reactivity
PAM Van den Hurk, BH Janssen, F Giommi, HP Barendregt, SC Gielen
International Journal of Psychophysiology 78 (2), 151-157, 2010
The system can't perform the operation now. Try again later.
Articles 1–20