Henk Barendregt
Henk Barendregt
Geverifieerd e-mailadres voor cs.ru.nl - Homepage
Geciteerd door
Geciteerd door
The Lambda Calculus. Number 103 in Studies in Logic and the Foundations of Mathematics
HP Barendregt
North-Holland, Amsterdam, revised edition, 1991
Lambda calculi with types
HP Barendregt
Oxford: Clarendon Press, 1992
A filter lambda model and the completeness of type assignment 1
H Barendregt, M Coppo, M Dezani-Ciancaglini
The journal of symbolic logic 48 (4), 931-940, 1983
Term graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
International conference on parallel architectures and languages Europe, 141-158, 1987
Introduction to generalized type systems
HP Barendregt
Lambda calculus with types
H Barendregt, W Dekkers, R Statman
Cambridge University Press, 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
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, ...
The impact of the lambda calculus in logic and computer science
H Barendregt
Bulletin of Symbolic Logic, 181-215, 1997
The type free lambda calculus
HP Barendregt
Studies in Logic and the Foundations of Mathematics 90, 1091-1132, 1977
Proof-Assistants Using Dependent Type Systems.
H Barendregt, H Geuvers
Handbook of automated reasoning 2, 1149-1238, 2001
Functional programming and lambda calculus
HP Barendregt
Formal models and semantics, 321-363, 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
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
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
Oxytocin-messages via the cerebrospinal fluid: behavioral effects; a review
JG Veening, T de Jong, HP Barendregt
Physiology & behavior 101 (2), 193-210, 2010
Autarkic computations in formal proofs
H Barendregt, E Barendsen
Journal of Automated Reasoning 28 (3), 321-336, 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
Termination for the direct sum of left-linear term rewriting systems
Y Toyama, JW Klop, HP Barendregt
International Conference on Rewriting Techniques and Applications, 477-491, 1989
The challenge of computer mathematics
H Barendregt, F Wiedijk
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2005
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20