Henk Barendregt

Cited by

	All	Since 2018
Citations	15578	2899
h-index	40	23
i10-index	82	33

560

280

140

420

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202374 49 92 83 164 157 215 245 239 376 362 402 425 425 358 377 285 391 348 344 361 457 474 535 452 465 468 412 485 539 534 544 491 560 494 522 524 486 462 409

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Anne SpeckensProfessor of Psychiatry, Radboud University Medical Centre, NijmegenVerified email at radboudumc.nl
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
Antonino RaffoneAssociate Professor, Sapienza University of RomeVerified email at uniroma1.it
Stan GielenPresident NWO, prof. Biophysics, Radboud Universiteit NijmegenVerified email at science.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
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
Jan BuitelaarRadboudumcVerified email at radboudumc.nl
Giulio ManzonettoUniversité Paris CitéVerified email at irif.fr
Hein van SchieBehavioural Science Institute, Radboud University NijmegenVerified email at ru.nl

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	6807*	1984
Lambda calculus with types HP Barendregt, W Dekkers, R Statman Cambridge University Press, 2013	2053	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	722	1983
Term graph rewriting HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ... PARLE Parallel Architectures and Languages Europe: Volume II: Parallel …, 1987	503	1987
Introduction to generalized type systems HP Barendregt	452	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	403	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	329	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	195	2014
Lambda Calculi with Types, Handbook of Logic in Computer Science Vol. II HP Barendregt Oxford University Press, 1992	183*	1992
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	167	2010
The impact of the lambda calculus in logic and computer science H Barendregt Bulletin of Symbolic Logic 3 (2), 181-215, 1997	164	1997
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	163	2011
The type free lambda calculus HP Barendregt Studies in Logic and the Foundations of Mathematics 90, 1091-1132, 1977	162*	1977
Proof-assistants using dependent type systems H Barendregt, H Geuvers Handbook of automated reasoning, 1149-1238, 2001	150	2001
Functional programming and lambda calculus HP Barendregt Formal models and semantics, 321-363, 1990	138	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	134	2010
The lambda calculus (revised edition) HP Barendregt Studies in Logic 103, 1984	128	1984
Autarkic computations in formal proofs H Barendregt, E Barendsen Journal of Automated Reasoning 28, 321-336, 2002	117	2002
Typed lambda calculi HP Barendregt Handbook of Logic in Computer Science 2, 117-309, 1992	115*	1992
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	103	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