Henk Barendregt

49 papers A 1B 2Journal 31Unranked 8

Year	Rank	Type	Title / Venue / Authors
2022	—	`book`	A Lambda Calculus Satellite. Henk Barendregt, Giulio Manzonetto
2022	—	`conf`	Axiomatizing Consciousness with Applications. A Journey from Process Algebra via Timed Automata to Model Learning Henk Barendregt, Antonino Raffone
2022	J	`jnl`	Axiomatizing consciousness, with applications. CoRR Henk Barendregt, Antonino Raffone
2022	J	`jnl`	Partial combinatory algebra and generalized numberings. Theor. Comput. Sci. Henk Barendregt, Sebastiaan A. Terwijn
2019	J	`jnl`	Fixed point theorems for precomplete numberings. Ann. Pure Appl. Log. Henk Barendregt, Sebastiaan A. Terwijn
2018	J	`jnl`	Fixed point theorems for precomplete numberings. CoRR Henk Barendregt, Sebastiaan A. Terwijn
2018	J	`jnl`	Gems of Corrado Böhm. CoRR Henk Barendregt
2017	J	`jnl`	Statman's Hierarchy Theorem. CoRR Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt
2017	J	`jnl`	Statman's Hierarchy Theorem. Log. Methods Comput. Sci. Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt
2014	—	`ch.`	Computerising Mathematical Text. Computational Logic Fairouz Kamareddine, Joe B. Wells, Christoph Zengler, Henk Barendregt
2014	J	`jnl`	Metacognitive awareness of covert somatosensory attention corresponds to contralateral alpha power. NeuroImage Stephen Whitmarsh, Henk Barendregt, Jan-Mathijs Schoffelen, Ole Jensen
2013	—	`conf`	An Ontology of States. The Beauty of Functional Code Andrew Polonsky, Henk Barendregt
2013	J	`jnl`	Reflection in the Chomsky Hierarchy. J. Autom. Lang. Comb. Henk Barendregt, Venanzio Capretta, Dexter Kozen
2012	—	`conf`	Loader and Urzyczyn Are Logically Related. ICALP (2) Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt
2011	B	`conf`	Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem. CPP Cezary Kaliszyk, Henk Barendregt
2009	J	`jnl`	Applications of infinitary lambda calculus. Inf. Comput. Henk Barendregt, Jan Willem Klop
2008	—	`ch.`	Proofs of Correctness in Mathematics and Industry. Wiley Encyclopedia of Computer Science and Engineering Henk Barendregt
2008	J	`jnl`	Towards the range property for the lambda theory H. Theor. Comput. Sci. Henk Barendregt
2007	—	`conf`	Proving the Range Property for Lambda Theories and Models. ICTCS Henk Barendregt
2006	—	`ch.`	Informal. The Seventeen Provers of the World Henk Barendregt
2005	—	`conf`	Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms. Processes, Terms and Cycles Richard Statman, Henk Barendregt
2002	J	`jnl`	Autarkic Computations in Formal Proofs. J. Autom. Reason. Henk Barendregt, Erik Barendsen
2002	J	`jnl`	The Ancient Theory of Mind. Formal Aspects Comput. Henk Barendregt
2001	—	`conf`	Computing and Proving. RTA Henk Barendregt
2001	J	`jnl`	Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants. J. Symb. Comput. Henk Barendregt, Arjeh M. Cohen
2001	—	`ch.`	Proof-Assistants Using Dependent Type Systems. Handbook of Automated Reasoning Henk Barendregt, Herman Geuvers
2000	J	`jnl`	Lambda terms for natural deduction, sequent calculus and cut elimination. J. Funct. Program. Henk Barendregt, Silvia Ghilezan
2000	B	`conf`	Representing and handling mathematical concepts by humans and machines. ISSAC Henk Barendregt, Arjeh M. Cohen
1999	J	`jnl`	Applications of Plotkin-Terms: Partitions and Morphisms for Closed Terms. J. Funct. Program. Richard Statman, Henk Barendregt
1998	J	`jnl`	Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic into Illative Combinatory Logic. J. Symb. Log. Wil Dekkers, Martin W. Bunder, Henk Barendregt
1998	J	`jnl`	Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Arch. Math. Log. Wil Dekkers, Martin W. Bunder, Henk Barendregt
1997	J	`jnl`	The impact of the lambda calculus in logic and computer science. Bull. Symb. Log. Henk Barendregt
1995	—	`conf`	A Two-Level Approach Towards Lean Proof-Checking. TYPES Gilles Barthe, Mark Ruys, Henk Barendregt
1995	J	`jnl`	Enumerators of lambda Terms are Reducing Constructively. Ann. Pure Appl. Log. Henk Barendregt
1994	—	`ed.`	Types for Proofs and Programs, International Workshop TYPES'93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers TYPES Henk Barendregt, Tobias Nipkow
1993	J	`jnl`	Constructive Proofs of the Range Property in lambda-Calculus. Theor. Comput. Sci. Henk Barendregt
1993	J	`jnl`	Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus. J. Symb. Log. Henk Barendregt, Martin W. Bunder, Wil Dekkers
1992	J	`jnl`	Enumerators of lambda Terms are Reducing. J. Funct. Program. Henk Barendregt
1992	J	`jnl`	Representing 'undefined' in lambda Calculus. J. Funct. Program. Henk Barendregt
1991	J	`jnl`	Introduction to Generalized Type Systems. J. Funct. Program. Henk Barendregt
1991	J	`jnl`	Self-Interpretations in lambda Calculus. J. Funct. Program. Henk Barendregt
1990	A	`conf`	Types in Lambda Calculi and Programming Languages. ESOP Henk Barendregt, Kees Hemerik
1986	—	`ch.`	Functional Programming and the Language TALE. Current Trends in Concurrency Henk Barendregt, Marc van Leeuwen
1983	J	`jnl`	A Filter Lambda Model and the Completeness of Type Assignment. J. Symb. Log. Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini
1983	J	`jnl`	Semantics for Classical AUTOMATH and Related Systems Inf. Control. Henk Barendregt, Adrian Rezus
1978	J	`jnl`	Degrees of Sensible Lambda Theories. J. Symb. Log. Henk Barendregt, Jan A. Bergstra, Jan Willem Klop, Henri Volken
1976	J	`jnl`	A Global Representation of the Recursive Functions in the Theor. Comput. Sci. Henk Barendregt
1975	—	`conf`	Normed uniformly reflexive structures. Lambda-Calculus and Computer Science Theory Henk Barendregt
1973	J	`jnl`	A Characterization of Terms of the lambda I-Calculus Having a Normal Form. J. Symb. Log. Henk Barendregt