Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Barendregt, Henk - Institute for Computing and Information Sciences, Radboud Universiteit Nijmegen
Completeness of the propositionsastypes interpretation of intuitionistic logic into illative
The quest for correctness Henk Barendregt
Discriminating coded lambda terms Henk Barendregt
RITIRO INTENSIVO DI MEDITAZIONE VIPASSANA [6 giorni: 295 Euro]
Proof-assistants using Dependent Type Henk Barendregt
Applications of Innitary Lambda Calculus Henk Barendregt
Intensive vipassana meditation retreat directed by Henk Barendregt
Problems in type theory Henk Barendregt \Lambda
Enumerators of lambda terms are reducing constructively
Towards an Interactive Mathematical Proof Henk Barendregt
Under consideration for publication in J. Functional Programming 1 THEORET I CAL PEARLS
LAMBDA CALCULI WITH TYPES Henk Barendregt
Representing constructing
Applications of the lambda calculus 1 Applications of the Lambda Calculus
Foundations of Mathematics from the perspective of
Proofs of Correctness in Mathematics and Industry
Bewijzen: romantisch of cool? Henk Barendregt & Freek Wiedijk
Bohm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms
The Challenge of Computer Mathematics By Henk Barendregt and Freek Wiedijk
Autarkic Computations in Formal Proofs Henk Barendregt Erik Barendsen
The impact of the lambda calculus in logic and computer science
Article Submitted to Journal of Symbolic Computation Electronic Communication of Mathematics
Bijdrage Henk Barendregt: "Over welke kwestie zijn bijna al uw vakge-noten het oneens met u?" te verschijnen in NWT.
Computer Wiskunde Computers en wiskunde
VIPASSANA MEDITATIE RETRAITE o.l.v. Henk Barendregt & Yowon Choi
Kreisel, lambda calculus, a windmill and a castle
correctness reliability?
Completeness of two systems of illative combinatory logic for firstorder propositional
Systems of Illative Combinatory Logic complete for firstorder propositional and predicate
Towards the range property for the lambda theory H Henk Barendregt
Towards an Interactive Mathematical Proof Mode
