Autarkic Computations in Formal Proofs (1997)

Cached

Download Links

by Henk Barendregt , Erik Barendsen
Venue:J. Autom. Reasoning
Citations:21 - 1 self

Active Bibliography

3 Decidability Extracted: Synthesizing ``Correct-by-Construction'' Decision Procedures from Constructive Proofs – James L. Caldwell, II - 1998
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
47 Proof-assistants using Dependent Type Systems – Henk Barendregt, Herman Geuvers - 2001
21 Type Theory and Programming – Thierry Coquand , Bengt Nordström, Jan M. Smith, Björn von Sydow - 1994
99 Martin-Löf’s Type Theory – B. Nordström, K. Petersson, J. M. Smith - 2000
2 Problems in type theory – Henk Barendregt - 1999
41 On Stepwise Explicit Substitution – Fairouz Kamareddine, Rob Nederpelt - 1993
Under consideration for publication in J. Functional Programming 1 Typed λ-calculi with one binder – Fairouz Kamareddine
6 Revisiting the Notion of Function – Fairouz Kamareddine, Twan Laan, Rob Nederpelt
8 Refining the Barendregt Cube using Parameters – Fairouz Kamareddine, Twan Laan, Rob Nederpelt - 2001
Lego and Related Work – Zhaohui Luo - 1999
10 Pure Type Systems in Rewriting Logic – Mark-Oliver Stehr, José Meseguer - 1999
2 A sequent calculus for type theory – Stéphane Lengr, Roy Dyckhoff, James Mckinna - 2006
4 Inheritance of Proofs – Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup, Fachbereich Mathematik, Lehrstuhl Fur Informatik Vii - 1996
4 Third-Order Matching in the Presence of Type Constructors – Jan Springintveld - 1994
Third-Order Matching in the Presence of Type Constructors – unknown authors
6 Integrated Verification in Type Theory (Lecture Notes) – Thorsten Altenkirch - 1996
3 A sequent calculus for type theory – Stéphane Lengrand, Roy Dyckhoff, James McKinna - 2006
10 A verified model checker for the modal µ-calculus in Coq – Christoph Sprenger - 1998