| Lambda Calculus (Revised) HP Barendregt Elsevier, 1984 | 7146* | 1984 |
| Lambda calculus with types H Barendregt, W Dekkers, R Statman Cambridge University Press, 2013 | 2213 | 2013 |
| 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 | 768 | 1983 |
| Term graph rewriting HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ... International conference on parallel architectures and languages Europe, 141-158, 1987 | 526 | 1987 |
| Introduction to generalized type systems HP Barendregt | 495 | 1991 |
| 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 | 454 | 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 | 378 | 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 | 222 | 2014 |
| 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, 2010 | 201 | 2010 |
| 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 | 185 | 2011 |
| The type free lambda calculus HP Barendregt Studies in Logic and the Foundations of Mathematics 90, 1091-1132, 1977 | 182* | 1977 |
| The impact of the lambda calculus in logic and computer science H Barendregt Bulletin of Symbolic Logic 3 (2), 181-215, 1997 | 179 | 1997 |
| Lambda Calculi with Types, Handbook of Logic in Computer Science Vol. II HP Barendregt Oxford University Press, 1992 | 172* | 1992 |
| Proof-assistants using dependent type systems H Barendregt, H Geuvers Handbook of automated reasoning 2, 1149-1238, 2001 | 162 | 2001 |
| Oxytocin-messages via the cerebrospinal fluid: behavioral effects; a review JG Veening, T de Jong, HP Barendregt Physiology & behavior 101 (2), 193-210, 2010 | 158 | 2010 |
| The Lambda Calculus: Its HP Barendregt Syntax, 1984 | 156 | 1984 |
| Functional programming and lambda calculus HP Barendregt Formal models and semantics, 321-363, 1990 | 149 | 1990 |
| Introduction to lambda calculus HP Barendregt | 146 | 1984 |
| Typed lambda calculi HP Barendregt Handbook of Logic in Computer Science 2, 117-309, 1992 | 140* | 1992 |
| The lambda calculus (revised edition) HP Barendregt Studies in Logic 103, 1984 | 135 | 1984 |
Jan Willem KlopVrije Universiteit AmsterdamVerified email at vu.nl
