Henk Barendregt

Cited by

	All	Since 2016
Citations	14027	2768
h-index	37	22
i10-index	78	35

580

290

145

435

19831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202141 74 46 96 84 147 142 197 232 220 351 339 384 408 405 352 364 282 374 334 349 349 427 472 527 410 473 473 395 485 548 528 542 502 566 502 511 520 166

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

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	6336*	1991
Lambda calculi with types HP Barendregt Oxford: Clarendon Press, 1992	1730	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	669	1983
Term graph rewriting HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ... International conference on parallel architectures and languages Europe, 141-158, 1987	481	1987
Introduction to generalized type systems HP Barendregt	405	1991
Lambda calculus with types H Barendregt, W Dekkers, R Statman Cambridge University Press, 2013	350*	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	333	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, ...	261	2012
The impact of the lambda calculus in logic and computer science H Barendregt Bulletin of Symbolic Logic, 181-215, 1997	148	1997
The type free lambda calculus HP Barendregt Studies in Logic and the Foundations of Mathematics 90, 1091-1132, 1977	148*	1977
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	140	2014
Proof-Assistants Using Dependent Type Systems. H Barendregt, H Geuvers Handbook of automated reasoning 2, 1149-1238, 2001	139	2001
Functional programming and lambda calculus HP Barendregt Formal models and semantics, 321-363, 1990	138	1990
Handbook of logic in computer science H Barendregt, S Abramsky, DM Gabbay, TSE Maibaum Lambda calculi with types 2, 117-309, 1992	133	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	126	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	116	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	111	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	93	1987
The challenge of computer mathematics H Barendregt, F Wiedijk Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2005	88	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