Henk Barendregt

Q: What Schools Are Affiliated With Henk Barendregt

Henk Barendregt is affiliated with the following schools: University of Amsterdam, Utrecht University, Radboud University Nijmegen

Henk Barendregt's AcademicInfluence.com Rankings

Henk Barendregt

Mathematics

#1919

World Rank

#3043

Historical Rank

Measure Theory

#1138

World Rank

#1455

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Henk Barendregt's Degrees

PhD Mathematics University of Amsterdam

Why Is Henk Barendregt Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Hendrik Pieter Barendregt is a Dutch logician, known for his work in lambda calculus and type theory. Life and work Barendregt studied mathematical logic at Utrecht University, obtaining his master's degree in 1968 and his PhD in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel. After a postdoctoral position at Stanford University, he taught at Utrecht University.

(See a Problem?)

Henk Barendregt's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The lambda calculus - its syntax and semantics (1985) (3889)
The | lambda-Calculus. (1988) (638)
A filter lambda model and the completeness of type assignment (1983) (600)
Greater efficiency in attentional processing related to mindfulness meditation (2010) (275)
Introduction to generalized type systems (1991) (274)
Lambda Calculus with Types (2013) (268)
Term Graph Rewriting (1987) (264)
The efficacy of mindfulness-based cognitive therapy in recurrent depressed patients with and without a current depressive episode: a randomized controlled trial (2011) (242)
Combinatory logic (1977) (219)
The Impact of the Lambda Calculus in Logic and Computer Science (1997) (149)
The regulation of brain states by neuroactive substances distributed via the cerebrospinal fluid; a review (2010) (133)
Effects of mindfulness-based cognitive therapy on neurophysiological correlates of performance monitoring in adult attention-deficit/hyperactivity disorder (2014) (119)
Proof-Assistants Using Dependent Type Systems (2001) (119)
Oxytocin-messages via the cerebrospinal fluid: Behavioral effects; a review (2010) (108)
On the Relationship Between the Practice of Mindfulness Meditation and Personality—an Exploratory Analysis of the Mediating Role of Mindfulness Skills (2011) (106)
The type free lambda calculus (1977) (102)
Autarkic Computations in Formal Proofs (2002) (96)
Functional Programming and Lambda Calculus (1991) (90)
Needed Reduction and Spine Strategies for the Lambda Calculus (1987) (77)
Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft- (1989) (73)
The challenge of computer mathematics (2005) (67)
Types in Lambda Calculi and Programming Languages (1990) (60)
Mindfulness meditation associated with alterations in bottom-up processing: psychophysiological evidence for reduced reactivity. (2010) (59)
Towards an Intermediate Language based on Graph Rewriting (1987) (58)
Sensorimotor Alpha Activity is Modulated in Response to the Observation of Pain in Others (2011) (56)
Lambda Calculus kHV its Hovels (1984) (51)
The effects of Beta-Endorphin: state change modification (2015) (50)
Volume transmission of beta-endorphin via the cerebrospinal fluid; a review (2012) (46)
Degrees, reductions and representability in the lambda calculus (1976) (45)
Lambda terms for natural deduction, sequent calculus and cut elimination (2000) (44)
Some extensional term models for combinatory logics and lambda - calculi (1971) (43)
Termination for direct sums of left-linear complete term rewriting systems (1995) (39)
A Two-Level Approach Towards Lean Proof-Checking (1995) (39)
Evidence that urocortin I acts as a neurohormone to stimulate αMSH release in the toad Xenopus laevis (2005) (39)
The happy face of mindfulness: Mindfulness meditation is associated with perceptions of happiness as rated by outside observers (2012) (38)
Pairing without conventional restraints (1974) (38)
Effect of starvation on Fos and neuropeptide immunoreactivities in the brain and pituitary gland of Xenopus laevis. (2006) (37)
Introduction to Lambda Calculus (1984) (33)
Metacognitive awareness of covert somatosensory attention corresponds to contralateral alpha power (2014) (32)
Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants (2001) (31)
Applications of infinitary lambda calculus (2009) (30)
Mindfulness reduces habitual responding based on implicit knowledge: Evidence from artificial grammar learning (2013) (30)
An Investigation of the Role of Attention in Mindfulness-Based Cognitive Therapy for Recurrently Depressed Patients (2012) (27)
Systems of illative combinatory logic complete for first-order propositional and predicate calculus (1993) (27)
Opioid Peptides, CRF, and Urocortin in Cerebrospinal Fluid‐Contacting Neurons in Xenopus laevis (2005) (24)
Some extensional term models for combinatory logics and l - calculi (1971) (23)
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic (1998) (21)
Self-interpretation in lambda calculus (1991) (20)
Equality of lambda terms in the model T omega (1980) (19)
Theoretical Pearls: Representing ‘undefined’ in lambda calculus (1992) (18)
Lambda Calculus with Types: Preface (2013) (18)
Theoretical Pearls: Self-interpretation in lambda calculus (1991) (17)
Functional Programming and the Language TALE (1986) (17)
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus (1998) (16)
The Dutch parallel reduction machine project (1987) (16)
Semantics for Classical AUTOMATH and Related Systems (1984) (15)
The quest for correctness (1996) (14)
Towards an interactive Mathematical Proof Language (2003) (14)
Comparing some classes of lambda calculus models (1980) (14)
LEAN: an intermediate language based on graph rewriting (1989) (13)
Conscious cognition as a discrete, deterministic, and universal Turing Machine process (2013) (13)
Towards an interactive mathematical proof mode (2003) (13)
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (1994) (12)
Normed uniformly reflexive structures (1975) (12)
Loader and Urzyczyn Are Logically Related (2012) (12)
A Global Representation of the Recursive Functions in the lambda -Calculus (1976) (11)
Combinatory logic and the axiom of choice (1973) (11)
Recursion theoretic operators and morphisms of numbered sets (1983) (11)
Constructive Proofs of the Range Property in lambda-Calculus (1993) (11)
Self-Interpretations in lambda Calculus (1991) (10)
Computable processes (1994) (10)
Representability in lambda algebras (1976) (10)
Mysticism and Beyond, Buddhist Phenomenology, Part II (1996) (10)
Solvability in lambda calculi (1977) (9)
Enumerators of lambda Terms are Reducing Constructively (1995) (8)
Attention, Consciousness and Mindfulness in Meditation (2014) (8)
Types in lambda calculi and programming languages (invited lecture) (1990) (8)
A characterization of terms of the λI-calculus having a normal form (1973) (8)
Automata Theoretic Account of Proof Search (2015) (8)
Dance of the Starlings (2017) (7)
The Systems λA (2013) (7)
Applications of Plotkin-terms: partitions and morphisms for closed terms (1999) (7)
Introduction to generalised type systems, invited talk (1989) (6)
Degrees of sensible lambda theories (1978) (6)
The imperative and functional programming paradigm (2013) (6)
Computerising Mathematical Text (2014) (6)
Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms (2005) (6)
Fixed point theorems for precomplete numberings (2018) (6)
Discriminating Coded Lambda Terms (2001) (6)
Proceedings of the international workshop on Types for proofs and programs (1994) (5)
Typed lambda calculus (1977) (5)
Mindfulness Meditation: Deconditioning and Changing View (2011) (5)
Combinatory logic and the w-rule (1974) (5)
Mindful Disintegration and the Decomposition of Self in Healthy Populations: Conception and Preliminary Study (2016) (5)
Types for Proofs and Programs (1994) (4)
Programming clustered parallel reduction machines (1992) (4)
Proofs of Correctness in Mathematics and Industry (2007) (4)
Proof-checking using Dependent Type Systems (2002) (4)
Turing's contributions to lambda calculus (2013) (4)
Statman's Hierarchy Theorem (2017) (4)
Vipassana, Insight and Intuition: Seeing Things as They Are (2014) (3)
Experience with a clustered parallel reduction machine (1993) (3)
Theoretical Pearls Enumerators of lambda terms are reducing (1992) (3)
Are there countable topological combinatory algebras (1986) (3)
The Impact of the Lambda Calculus (2014) (2)
Review: J. R. Hindley, B. Lercher, J. P. Seldin, Introduction to Combinatory Logic (1973) (2)
Problems in Type Theory (1999) (2)
Urzyczyn and Loader are Logically Related (2012) (2)
Global workspace models of consciousness in a broader perspective (2020) (2)
Towards the range property for the lambda theory H (2008) (2)
Foundations of Mathematics from the Perspective of Computer Verification (2013) (2)
Recursive Types λA (2013) (2)
The incompleteness theorems (1976) (2)
Kreisel, lambda calculus, a windmill and a castle (1996) (2)
Partial combinatory algebra and generalized numberings (2019) (2)
The Abhidhamma Model of Consciousness AM0 and some of its Consequences (2017) (2)
Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem (2011) (1)
The challenge of computer mathematics. Discussion (2005) (1)
Hindley J. R., Lercher B., and Seldin J. P.. Introduction to combinatory logic. London Mathematical Society lecture note series, no. 7, Cambridge at the University Press, London and New York 1972, 170 pp. (1973) (1)
An Ontology of States (2013) (1)
Representing and handling mathematical concepts by humans and machines (invited talk abstract) (2000) (1)
Mindfulness-based training and emotional disorders (2006) (1)
Lambda calculus and its models, invited talk (1984) (1)
Mindfulness Training and Emotional Disorders (2006) (1)
Mysticism and Beyond (2007) (1)
An Example System (2013) (0)
A Lambda Calculus Satellite (2022) (0)
JFP volume 3 issue 3 Cover and Front matter (1993) (0)
Applications of In nitary Lambda Calculus (2016) (0)
Can We Pass the Turing Test Using Church ’ s Lambda Calculus ? (2011) (0)
Lambda Calculus with Types: Properties of Recursive Types (2013) (0)
[Book Reviews] (0)
Parallel computing and its computers, invited talk (1988) (0)
We Are Grateful for the Useful Feedback from and Discussions with Henk Barendregt (2007) (0)
Foundations of mathematics from the perspective of computer mathematics (2013) (0)
JFP volume 5 issue 4 Cover and Front matter (1995) (0)
Advanced Properties and Applications (2013) (0)
A Semantics for a Ne -calculus with De Bruijn Indices We Are Grateful for the Discussions with Name and Mailing Address of Author to Whom Proofs Should Be Sent (1997) (0)
Abrahamson, KA, Downey, RG and Fellows, MR (1995) (0)
Gems of Corrado B\"ohm (2018) (0)
The Ancient Theory of Mind (2002) (0)
Gems of Corrado Böhm (2020) (0)
JFP volume 5 issue 1 Cover and Front matter (1995) (0)
On the use of semantics in computer science, invited talk (1987) (0)
JFP volume 4 issue 2 Cover and Front matter (1994) (0)
The Abhidhamma Model AM$_0$ of Consciousness and some of its Consequences (2006) (0)
Proving the Range Property for Lambda Theories and Models (2007) (0)
CLASSICAL SEQUENTS AND COMPUTATION : AN OVERVIEW To (2007) (0)
Reflections on the Operator Theory (2016) (0)
Intersection Types λS (2013) (0)
JFP volume 4 issue 4 Cover and Front matter (1994) (0)
Basic Properties of Intersection Type Assignment (2013) (0)
Simple Types λA (2013) (0)
JFP volume 6 issue 1 Cover and Front matter (1996) (0)
11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning In conjunction with TPHOL 2003 and TABLEAUX 2003 (2003) (0)
Interview with Hendrik Pieter Barendregt (2007) (0)
Lambda Calculus with Types: The Simply Typed Lambda Calculus (2013) (0)
Are there countable topological lambda algebras (1986) (0)
Juggling with combinators (1988) (0)
Type and Lambda Structures (2013) (0)
JFP volume 1 issue 4 Cover and Front matter (1991) (0)
Mindfulness meditation experience is associated with increased ability to monitor covert somatosensory attention (2020) (0)
MSC volume 23 issue 5 Cover and Back matter (2013) (0)
Computing and Proving (2001) (0)
Reflection in the Chomsky Hierarchy (2013) (0)
Lambda Calculus with Types: Type Assignment Systems (2013) (0)
Reflection: a powerfull and ubiquitous logical mechanism (2009) (0)
Properties of Terms with Types λA (2013) (0)
Proof-development in type theory (2001) (0)
Communicating mathematics on the Web (2001) (0)
JFP volume 5 issue 3 Cover and Front matter (1995) (0)
KEYS TO TWO INTIMACIES : Mathesis and Mysticism (2015) (0)
In -calculus and Type Theory Preface Viii Contents Preface V Introduction 1 1 Perpetual Reductions in -calculus 11 2 Weak and Strong Normalization in Type Theory 71 (1997) (0)
Book Reviews (2015) (0)
KEYS TO TWO INTIMACIES (2016) (0)
A wide-spectrum coordination model of schizophrenia (2003) (0)
Axiomatizing consciousness, with applications (2022) (0)
Education towards Meaning (2002) (0)
Discriminating coded lambda terms (Dedicated in friendship to Cor Baayen on the occasion of his retirement) (1994) (0)
Definability, unification and matching (2013) (0)
TYPES 2010 : Abstracts Warsaw , October 13-16 , 2010 INVITED TALKS (2010) (0)

This paper list is powered by the following services:

Other Resources About Henk Barendregt

What Schools Are Affiliated With Henk Barendregt?

Henk Barendregt is affiliated with the following schools:

Henk Barendregt's Academic­Influence.com Rankings