Henk Barendregt

Cited by

	All	Since 2016
Citations	14444	3054
h-index	38	23
i10-index	79	38

580

290

145

435

19831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202138 75 47 97 86 152 146 213 237 226 354 337 387 413 407 355 378 282 373 337 353 349 426 474 525 422 475 481 399 486 554 532 549 503 580 474 520 550 425

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jan Willem KlopVrije Universiteit AmsterdamVerified email at vu.nl
rinus plasmeijerprofessor of computer science, radboud university nijmegenVerified email at cs.ru.nl
Marko van EekelenOpen Universiteit Nederland & Radboud UniversiteitVerified email at cs.ru.nl
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
John GlauertProfessor of Computing Sciences, University of East Anglia, UKVerified email at uea.ac.uk
Philip SpinhovenLeiden University, Institute of PsychologyVerified email at fsw.leidenuniv.nl
Stan GielenPresident NWO, prof. Biophysics, Radboud Universiteit NijmegenVerified email at science.ru.nl
Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
Erik BarendsenRadboud University & Open University of the NetherlandsVerified email at cs.ru.nl
Poppy L.A. SchoenbergVanderbilt University Medical CenterVerified email at vanderbilt.edu
Ole JensenSchool of Psychology, University of BirminghamVerified email at bham.ac.uk
Trynke R. de JongProject Manager Research Office at Lifelines BiobankVerified email at lifelines.nl
Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLVerified email at uva.nl
Antonino RaffoneAssociate Professor, Sapienza University of RomeVerified email at uniroma1.it
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Silvia GhilezanUniversity of Novi SadVerified email at uns.ac.rs
Johan KarremansProfessor, Radboud University NijmegenVerified email at ru.nl
Willem (Wim) G. VreeProfessor of Information and Communication Technology, Delft University of TechnologyVerified email at tudelft.nl
Ingrid LC NieuwenhuisSleep and Neuroimaging Laboratory Department of Psychology University of California, BerkeleyVerified email at berkeley.edu
Pieter HartelProfessor Emeritus Cyber securityVerified email at tudelft.nl

Henk Barendregt

Radboud University

Verified email at cs.ru.nl - Homepage

Lambda calculus proof-checking insight meditation


Title Sort by citations Sort by year Sort by 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	6430*	1991
Lambda calculi with types HP Barendregt Oxford: Clarendon Press, 1992	1756	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	683	1983
Term graph rewriting HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ... International conference on parallel architectures and languages Europe, 141-158, 1987	492	1987
Introduction to generalized type systems H Barendregt Journal of functional programming 1 (2), 125-154, 1991	422	1991
Lambda calculus with types H Barendregt, W Dekkers, R Statman Cambridge University Press, 2013	374*	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	358	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	276	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	154	2014
The impact of the lambda calculus in logic and computer science H Barendregt Bulletin of Symbolic Logic 3 (2), 181-215, 1997	152	1997
The type free lambda calculus HP Barendregt Studies in Logic and the Foundations of Mathematics 90, 1091-1132, 1977	149*	1977
Proof-assistants using dependent type systems H Barendregt, H Geuvers Handbook of automated reasoning, 1149-1238, 2001	143	2001
Functional programming and lambda calculus HP Barendregt Formal models and semantics, 321-363, 1990	140	1990
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	136	2010
Handbook of logic in computer science H Barendregt, S Abramsky, DM Gabbay, TSE Maibaum Lambda calculi with types 2, 117-309, 1992	134	1992
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	130	2011
The lambda calculus (revised edition) HP Barendregt Studies in Logic 103, 1984	126	1984
Oxytocin-messages via the cerebrospinal fluid: behavioral effects; a review JG Veening, T de Jong, HP Barendregt Physiology & behavior 101 (2), 193-210, 2010	118	2010
Autarkic computations in formal proofs H Barendregt, E Barendsen Journal of Automated Reasoning 28 (3), 321-336, 2002	108	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	94	1987

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors