Henk Barendregt

Cited by

	All	Since 2018
Citations	15255	2578
h-index	40	21
i10-index	82	32

580

290

145

435

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202371 43 87 82 158 154 211 248 225 333 353 391 424 425 346 386 277 394 334 356 365 540 477 525 437 484 474 403 500 553 549 550 498 563 500 521 531 502 454 68

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
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
Erik BarendsenRadboud University & Open University of the NetherlandsVerified email at cs.ru.nl
Antonino RaffoneAssociate Professor, Sapienza University of RomeVerified email at uniroma1.it
Herman GeuversRadboud University Nijmegen, 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
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
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
Dr. ing. Peter O. Gerrits, senior anatom...--Verified email at umcg.nl
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	6728*	1991
Lambda calculi with types HP Barendregt Oxford: Clarendon Press, 1992	1795	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	717	1983
Term graph rewriting HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ... Berlin: Springer, 1987	484	1987
Introduction to generalized type systems HP Barendregt	432	1991
Lambda calculus with types H Barendregt, W Dekkers, R Statman Cambridge University Press, 2013	402	2013
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	386	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	307	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	177	2014
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	157	1997
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	153	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, 194-200, 2011	151	2011
Proof-assistants using dependent type systems H Barendregt, H Geuvers Handbook of automated reasoning, 1149-1238, 2001	148	2001
Functional programming and lambda calculus HP Barendregt Formal models and semantics, 321-363, 1990	134	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	132	2010
Autarkic computations in formal proofs H Barendregt, E Barendsen Journal of Automated Reasoning 28, 321-336, 2002	112	2002
The Lambda Calculus: its syntax and semantics, volume 103 of Studies in Logic HP Barendregt North Holland, 1984	105	1984
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	100	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

Cited by

Co-authors