Henk Barendregt

Cited by

	All	Since 2016
Citations	13864	2671
h-index	37	21
i10-index	78	35

580

290

145

435

19831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202141 73 45 93 84 145 140 196 228 216 342 335 383 402 404 350 361 283 371 332 345 346 429 473 523 410 476 471 401 478 545 528 542 503 564 496 510 499 98

Co-authors

Jan Willem KlopVU University 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
Willem (Wim) G. VreeProfessor of Information and Communication Technology, Delft University of TechnologyVerified email at tudelft.nl
johan karremansAssociate Professor, Radboud University NijmegenVerified email at psych.ru.nl
Pieter HartelProfessor Emeritus Cyber securityVerified email at tudelft.nl
Dr. ing. Peter O. Gerrits, senior anatom...--Verified email at umcg.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	6263*	1991
Lambda calculi with types HP Barendregt Oxford: Clarendon Press, 1992	1718	1992
A filter lambda model and the completeness of type assignment H Barendregt, M Coppo, M Dezani-Ciancaglini The journal of symbolic logic 48 (4), 931-940, 1983	667	1983
Term graph rewriting HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ... International conference on parallel architectures and languages Europe, 141-158, 1987	477	1987
Introduction to generalized type systems HP Barendregt	402	1991
Lambda calculus with types H Barendregt, W Dekkers, R Statman Cambridge University Press, 2013	341*	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	328	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, ...	258	2012
The type free lambda calculus HP Barendregt Studies in Logic and the Foundations of Mathematics 90, 1091-1132, 1977	148*	1977
The impact of the lambda calculus in logic and computer science H Barendregt Bulletin of Symbolic Logic, 181-215, 1997	147	1997
Proof-Assistants Using Dependent Type Systems. H Barendregt, H Geuvers Handbook of automated reasoning 2, 1149-1238, 2001	137	2001
Functional programming and lambda calculus HP Barendregt Formal models and semantics, 321-363, 1990	136	1990
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	135	2014
Handbook of logic in computer science H Barendregt, S Abramsky, DM Gabbay, TSE Maibaum Lambda calculi with types 2, 117-309, 1992	131	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	123	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	112	2011
Oxytocin-messages via the cerebrospinal fluid: behavioral effects; a review JG Veening, T de Jong, HP Barendregt Physiology & behavior 101 (2), 193-210, 2010	109	2010
Autarkic computations in formal proofs H Barendregt, E Barendsen Journal of Automated Reasoning 28 (3), 321-336, 2002	104	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	91	1987
The challenge of computer mathematics H Barendregt, F Wiedijk Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2005	85	2005

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

Upload PDF

Follow this author

Cited by

Co-authors