H. Barendregt

Most-cited papers

Lambda Calculus with Types
H. Barendregt, W. Dekkers, R. Statman
2013Perspectives in logic234 citations
Semantic Scholar
The Impact of the Lambda Calculus in Logic and Computer Science
H. Barendregt
1997Bulletin of Symbolic Logic151 citations Open access
Semantic Scholar
Effects of mindfulness-based cognitive therapy on neurophysiological correlates of performance monitoring in adult attention-deficit/hyperactivity disorder.
Poppy L. A. Schoenberg, S. Hepark, Cornelis C. Kan, H. Barendregt +2 more
2014Clinical Neurophysiology130 citations Open access
Semantic Scholar
Proof-Assistants Using Dependent Type Systems
H. Barendregt, H. Geuvers
2001Handbook of Automated Reasoning126 citations
Semantic Scholar
On the Relationship Between the Practice of Mindfulness Meditation and Personality—an Exploratory Analysis of the Mediating Role of Mindfulness Skills
P. V. D. van den Hurk, T. Wingens, F. Giommi, H. Barendregt +2 more
2011Mindfulness123 citations Open access
Semantic Scholar
Oxytocin-messages via the cerebrospinal fluid: behavioral effects; a review.
J. Veening, T. D. de Jong, H. Barendregt
2010Physiology and Behavior119 citations
Semantic Scholar
Autarkic Computations in Formal Proofs
H. Barendregt, E. Barendsen
2002Journal of automated reasoning112 citations Open access
Semantic Scholar
The challenge of computer mathematics
H. Barendregt, F. Wiedijk
2005Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences82 citations Open access
Semantic Scholar
The effects of Beta-Endorphin: state change modification
J. Veening, H. Barendregt
2015Fluids and Barriers of the CNS76 citations Open access
Semantic Scholar
Mindfulness meditation associated with alterations in bottom-up processing: psychophysiological evidence for reduced reactivity.
P. V. D. van den Hurk, B. Janssen, F. Giommi, H. Barendregt +1 more
2010International Journal of Psychophysiology64 citations
Semantic Scholar
Volume transmission of beta-endorphin via the cerebrospinal fluid; a review
J. Veening, P. Gerrits, H. Barendregt
2012Fluids and Barriers of the CNS61 citations Open access
Semantic Scholar
The happy face of mindfulness: Mindfulness meditation is associated with perceptions of happiness as rated by outside observers
Yowon Y. W. Choi, J. Karremans, H. Barendregt
201239 citations
Semantic Scholar
A Two-Level Approach Towards Lean Proof-Checking
G. Barthe, M. Ruys, H. Barendregt
1995Types for Proofs and Programs39 citations Open access
Semantic Scholar
Evidence that urocortin I acts as a neurohormone to stimulate alpha MSH release in the toad Xenopus laevis.
M. Calle, G. Corstens, Liangchun Wang, T. Kozicz +3 more
2005Brain Research38 citations
Semantic Scholar
Termination for direct sums of left-linear complete term rewriting systems
Y. Toyama, J. Klop, H. Barendregt
1995JACM38 citations Open access
Semantic Scholar
Mindfulness reduces habitual responding based on implicit knowledge: evidence from artificial grammar learning.
S. Whitmarsh, Julia Uddén, H. Barendregt, K. Petersson
2013Consciousness and Cognition37 citations Open access
Semantic Scholar
Metacognitive awareness of covert somatosensory attention corresponds to contralateral alpha power
S. Whitmarsh, H. Barendregt, J. Schoffelen, O. Jensen
2014NeuroImage34 citations Open access
Semantic Scholar
Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants
H. Barendregt, A. Cohen
2001Journal of symbolic computation33 citations Open access
Semantic Scholar
An Investigation of the Role of Attention in Mindfulness-Based Cognitive Therapy for Recurrently Depressed Patients
P. V. D. van den Hurk, Joël R. van Aalderen, F. Giommi, R. Donders +2 more
201231 citations Open access
Semantic Scholar
Applications of infinitary lambda calculus
H. Barendregt, J. Klop
2009Information and Computation29 citations Open access
Semantic Scholar
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic
W. Dekkers, M. Bunder, H. Barendregt
1998Journal of Symbolic Logic (JSL)19 citations Open access
Semantic Scholar
Lambda Calculus with Types: Preface
H. Barendregt, W. Dekkers, R. Statman
201318 citations
Semantic Scholar
Conscious cognition as a discrete, deterministic, and universal Turing Machine process
H. Barendregt, A. Raffone
201315 citations
Semantic Scholar
A Lambda Calculus Satellite
H. Barendregt, G. Manzonetto
202214 citations
Semantic Scholar
Loader and Urzyczyn Are Logically Related
S. Salvati, G. Manzonetto, M. Gehrke, H. Barendregt
2012International Colloquium on Automata, Languages and Programming14 citations Open access
Semantic Scholar
The quest for correctness
H. Barendregt
199614 citations
Semantic Scholar
Towards an interactive Mathematical Proof Language
H. Barendregt
200313 citations
Semantic Scholar
Towards an interactive mathematical proof mode
H. Barendregt
200313 citations
Semantic Scholar
The Barendregt Cube with Deenitions and Generalised Reduction
Roel Bloo, Fairouz Kamareddine, R. Nederpelt, H. Barendregt +4 more
199713 citations
Semantic Scholar
Fixed point theorems for precomplete numberings
H. Barendregt, S. Terwijn
2018Annals of Pure and Applied Logic12 citations Open access
Semantic Scholar
Applications of In nitary Lambda Calculus
H. Barendregt, Jan, W. Klop
201611 citations
Semantic Scholar
Attention, Consciousness and Mindfulness in Meditation
A. Raffone, N. Srinivasan, H. Barendregt
201411 citations
Semantic Scholar
Mysticism and Beyond, Buddhist Phenomenology, Part II
H. Barendregt
199611 citations
Semantic Scholar
Automata Theoretic Account of Proof Search
A. Schubert, W. Dekkers, H. Barendregt
2015Annual Conference for Computer Science Logic9 citations
Semantic Scholar
Applications of Plotkin-terms: partitions and morphisms for closed terms
R. Statman, H. Barendregt
1999Journal of functional programming8 citations Open access
Semantic Scholar
Dance of the Starlings
H. Barendregt, J. Endrullis, J. Klop, J. Waldmann
20177 citations
Semantic Scholar
Mindfulness Meditation: Deconditioning and Changing View
H. Barendregt
20117 citations
Semantic Scholar
Enumerators of lambda Terms are Reducing Constructively
H. Barendregt
1995Annals of Pure and Applied Logic7 citations Open access
Semantic Scholar
The imperative and functional programming paradigm
H. Barendregt, G. Manzonetto, R. Plasmeijer
20136 citations
Semantic Scholar
Turing's contributions to lambda calculus
H. Barendregt, G. Manzonetto
20136 citations
Semantic Scholar
Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms
R. Statman, H. Barendregt
2005Processes, Terms and Cycles6 citations Open access
Semantic Scholar
Discriminating Coded Lambda Terms
H. Barendregt
20016 citations
Semantic Scholar
Global workspace models of consciousness in a broader perspective
A. Raffone, H. Barendregt
20205 citations
Semantic Scholar
Mindful Disintegration and the Decomposition of Self in Healthy Populations: Conception and Preliminary Study
Poppy L. A. Schoenberg, H. Barendregt
20165 citations Open access
Semantic Scholar
Statman's Hierarchy Theorem
Bram Westerbaan, Bas Westerbaan, R. Kuyper, C. Tankink +2 more
2017Log. Methods Comput. Sci.4 citations Open access
Semantic Scholar
Computerising Mathematical Text
Fairouz Kamareddine, J. Wells, Christoph Zengler, H. Barendregt
2014Computational Logic4 citations Open access
Semantic Scholar
Vipassana, Insight and Intuition: Seeing Things as They Are
F. Giommi, H. Barendregt
20144 citations
Semantic Scholar
The Impact of the Lambda Calculus
H. Barendregt, A. Church
20144 citations
Semantic Scholar
Proofs of Correctness in Mathematics and Industry
H. Barendregt
2007Wiley Encyclopedia of Computer Science and Engineering4 citations
Semantic Scholar
Proof-checking using Dependent Type Systems
H. Barendregt, H. Geuvers
20024 citations
Semantic Scholar