Follow
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
6728*1991
Lambda calculi with types
HP Barendregt
Oxford: Clarendon Press, 1992
17951992
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
7171983
Term graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
Berlin: Springer, 1987
4841987
Introduction to generalized type systems
HP Barendregt
4321991
Lambda calculus with types
H Barendregt, W Dekkers, R Statman
Cambridge University Press, 2013
4022013
Greater efficiency in attentional processing related to mindfulness meditation
PAM van den Hurk, F Giommi, SC Gielen, AEM Speckens, HP Barendregt
The Quarterly Journal of Experimental Psychology 63 (6), 1168-1180, 2010
3862010
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
3072012
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
1772014
Lambda Calculi with Types, Handbook of Logic in Computer Science Vol. II
HP Barendregt
Oxford University Press, 1992
175*1992
The impact of the lambda calculus in logic and computer science
H Barendregt
Bulletin of Symbolic Logic 3 (2), 181-215, 1997
1571997
The type free lambda calculus
HP Barendregt
Studies in Logic and the Foundations of Mathematics 90, 1091-1132, 1977
156*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
1532010
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, 194-200, 2011
1512011
Proof-assistants using dependent type systems
H Barendregt, H Geuvers
Handbook of automated reasoning, 1149-1238, 2001
1482001
Functional programming and lambda calculus
HP Barendregt
Formal models and semantics, 321-363, 1990
1341990
Oxytocin-messages via the cerebrospinal fluid: behavioral effects; a review
JG Veening, T de Jong, HP Barendregt
Physiology & behavior 101 (2), 193-210, 2010
1322010
Autarkic computations in formal proofs
H Barendregt, E Barendsen
Journal of Automated Reasoning 28, 321-336, 2002
1122002
The Lambda Calculus: its syntax and semantics, volume 103 of Studies in Logic
HP Barendregt
North Holland, 1984
1051984
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
1001987
The system can't perform the operation now. Try again later.
Articles 1–20