关注
Henk Barendregt
Henk Barendregt
Faculty of Science, Radboud University
在 ru.nl 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Lambda Calculus (Revised)
HP Barendregt
Elsevier, 1984
6965*1984
Lambda calculi with types
HP Barendregt
Oxford: Clarendon Press, 1992
17481992
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
7361983
Term graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
PARLE Parallel Architectures and Languages Europe: Volume II: Parallel …, 1987
5041987
Introduction to generalized type systems
HP Barendregt
4601991
Lambda calculus with types
HP Barendregt, W Dekkers, R Statman
Cambridge University Press, 2013
4482013
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
4252010
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
3442012
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
2042014
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
1832010
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
1702011
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
1641997
Proof-assistants using dependent type systems
H Barendregt, H Geuvers
Handbook of automated reasoning, 1149-1238, 2001
1542001
Oxytocin-messages via the cerebrospinal fluid: behavioral effects; a review
JG Veening, T de Jong, HP Barendregt
Physiology & behavior 101 (2), 193-210, 2010
1472010
Functional programming and lambda calculus
HP Barendregt
Formal models and semantics, 321-363, 1990
1471990
The lambda calculus (revised edition)
HP Barendregt
Studies in Logic 103, 1984
1291984
Autarkic computations in formal proofs
H Barendregt, E Barendsen
Journal of Automated Reasoning 28, 321-336, 2002
1202002
Typed lambda calculi
HP Barendregt
Handbook of Logic in Computer Science 2, 117-309, 1992
118*1992
系统目前无法执行此操作,请稍后再试。
文章 1–20