Henk Barendregt 个人学术档案

引用次数

	总计	2019 年至今
引用	16143	2853
h 指数	41	22
i10 指数	88	37

580

290

145

435

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202451 87 86 163 159 223 252 246 370 366 396 421 431 354 388 291 391 352 361 375 456 473 548 460 473 466 426 482 544 538 547 498 566 500 531 529 492 459 498 337

开放获取的出版物数量

查看全部

4 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Jan Willem KlopVrije Universiteit Amsterdam在 vu.nl 的电子邮件经过验证
Anne SpeckensProfessor of Psychiatry, Radboud University Medical Centre, Nijmegen在 radboudumc.nl 的电子邮件经过验证
rinus plasmeijerprofessor of computer science, radboud university nijmegen在 cs.ru.nl 的电子邮件经过验证
Marko van EekelenOpen Universiteit Nederland & Radboud Universiteit在 cs.ru.nl 的电子邮件经过验证
John GlauertProfessor of Computing Sciences, University of East Anglia, UK在 uea.ac.uk 的电子邮件经过验证
Antonino RaffoneAssociate Professor, Sapienza University of Rome在 uniroma1.it 的电子邮件经过验证
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino University在 di.unito.it 的电子邮件经过验证
Philip SpinhovenLeiden University, Institute of Psychology在 fsw.leidenuniv.nl 的电子邮件经过验证
Stan GielenPresident NWO, prof. Biophysics, Radboud Universiteit Nijmegen在 science.ru.nl 的电子邮件经过验证
Herman GeuversRadboud University Nijmegen, the Netherlands在 cs.ru.nl 的电子邮件经过验证
Stephen WhitmarshPostdoctoral research, The Paris Brain Institute (ICM)在 icm-institute.org 的电子邮件经过验证
Erik BarendsenRadboud University & Open University of the Netherlands在 cs.ru.nl 的电子邮件经过验证
Poppy L.A. SchoenbergVanderbilt University Medical Center在 vanderbilt.edu 的电子邮件经过验证
Trynke R. de JongProject Manager Research Office at Lifelines Biobank在 lifelines.nl 的电子邮件经过验证
Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NL在 uva.nl 的电子邮件经过验证
Giulio ManzonettoUniversité Paris Cité在 irif.fr 的电子邮件经过验证
Jan BuitelaarRadboudumc在 radboudumc.nl 的电子邮件经过验证
Tobias NipkowProfessor of Computer Science, Technische Universität München在 in.tum.de 的电子邮件经过验证
Heleen SlagterProfessor of Cognitive Neuroscience, Vrije Universiteit Amsterdam在 vu.nl 的电子邮件经过验证
Hein van SchieBehavioural Science Institute, Radboud University Nijmegen在 ru.nl 的电子邮件经过验证

关注

Henk Barendregt

Faculty of Science, Radboud University

在 ru.nl 的电子邮件经过验证 - 首页

Lambda calculus proof-checking insight meditation


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Lambda Calculus (Revised) HP Barendregt Elsevier, 1984	6965*	1984
Lambda calculi with types HP Barendregt Oxford: Clarendon Press, 1992	1748	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	736	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	460	1991
Lambda calculus with types HP Barendregt, W Dekkers, R Statman Cambridge University Press, 2013	448	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	425	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	344	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	204	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	183	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	170	2011
The type free lambda calculus HP Barendregt Studies in Logic and the Foundations of Mathematics 90, 1091-1132, 1977	167*	1977
The impact of the lambda calculus in logic and computer science H Barendregt Bulletin of Symbolic Logic 3 (2), 181-215, 1997	164	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	147	2010
Functional programming and lambda calculus HP Barendregt Formal models and semantics, 321-363, 1990	147	1990
The lambda calculus (revised edition) HP Barendregt Studies in Logic 103, 1984	129	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用