Henk Barendregt

Cited by

	All	Since 2019
Citations	16267	2957
h-index	41	23
i10-index	89	41

580

290

145

435

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202451 87 86 163 161 223 255 246 370 366 400 421 431 354 388 289 391 352 361 375 456 474 548 461 473 466 427 483 544 539 548 498 570 501 530 531 496 463 502 428

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jan Willem KlopVrije Universiteit AmsterdamVerified email at vu.nl
Anne SpeckensProfessor of Psychiatry, Radboud University Medical Centre, NijmegenVerified email at radboudumc.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
Antonino RaffoneAssociate Professor, Sapienza University of RomeVerified email at uniroma1.it
John GlauertProfessor of Computing Sciences, University of East Anglia, UKVerified email at uea.ac.uk
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
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
Stephen WhitmarshPostdoctoral research, The Paris Brain Institute (ICM)Verified email at icm-institute.org
Erik BarendsenRadboud University & Open University of the NetherlandsVerified email at cs.ru.nl
Heleen SlagterProfessor of Cognitive Neuroscience, Vrije Universiteit AmsterdamVerified email at vu.nl
Poppy L.A. SchoenbergVanderbilt University Medical CenterVerified email at vanderbilt.edu
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
Giulio ManzonettoUniversité Paris CitéVerified email at irif.fr
Aviva Berkovich-OhanaFaculty of Education The Edmond J. Safra Brain Research Center University of Haifa,Verified email at edu.haifa.ac.il
Jan BuitelaarRadboudumcVerified email at radboudumc.nl
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de

Henk Barendregt

Faculty of Science, Radboud University

Verified email at ru.nl - Homepage

Lambda calculus proof-checking insight meditation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Lambda Calculus (Revised) HP Barendregt Elsevier, 1984	7005*	1984
Lambda calculi with types HP Barendregt Oxford: Clarendon Press, 1992	1749	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	740	1983
Term graph rewriting HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ... PARLE Parallel Architectures and Languages Europe: Volume II: Parallel …, 1987	504	1987
Introduction to generalized type systems HP Barendregt	463	1991
Lambda calculus with types HP Barendregt, W Dekkers, R Statman Cambridge University Press, 2013	453	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	430	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	349	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	206	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-16, 2010	185	2010
Lambda Calculi with Types, Handbook of Logic in Computer Science Vol. II HP Barendregt Oxford University Press, 1992	181*	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, 194-200, 2011	173	2011
The type free lambda calculus HP Barendregt Studies in Logic and the Foundations of Mathematics 90, 1091-1132, 1977	171*	1977
The impact of the lambda calculus in logic and computer science H Barendregt Bulletin of Symbolic Logic 3 (2), 181-215, 1997	165	1997
Proof-assistants using dependent type systems H Barendregt, H Geuvers Handbook of automated reasoning, 1149-1238, 2001	154	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	149	2010
Functional programming and lambda calculus HP Barendregt Formal models and semantics, 321-363, 1990	149	1990
The lambda calculus (revised edition) HP Barendregt Studies in Logic 103, 1984	131	1984
Autarkic computations in formal proofs H Barendregt, E Barendsen Journal of Automated Reasoning 28, 321-336, 2002	120	2002
Typed lambda calculi HP Barendregt Handbook of Logic in Computer Science 2, 117-309, 1992	118*	1992

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

Cited by

Co-authors