P. Martin-Lof. Constructive Mathematics and Computer Programming. In Logic, Methodology and Philosophy of Science, volume VI, pages 153-175. North Holland, 1979. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Indexed Induction-Recursion - Dybjer, Setzer (2001) (Correct)
Quotient Types - a Modular Approach - Nogin (2001) (Correct)
Types as Theories - Joseph Goguen Programming (1991) (21 citations) (Correct)
Embedded Software - Lee (2001) (9 citations) (Correct)
Recursive Families of Inductive Types - Capretta (2000) (2 citations) (Correct)
Universal Algebra in Type Theory - Capretta (1999) (5 citations) (Correct)
Types in Programming Languages - Camarão, Figueiredo, Pimentel (Correct)
Naïve Type Theory - Constable (2002) (Correct)
Program Derivation in Type Theory: A Partitioning Problem - Petersson, Smith (Correct)
Supporting Programming by Analogy in the Learning of.. - Whittle, Bundy, Lowe (1997) (Correct)
Using Reflection to Explain and Enhance Type Theory - Constable (1994) (7 citations) (Correct)
Markov's Principle for Propositional Type Theory - Kopylov, Nogin (2001) (1 citation) (Correct)
Equality In Lazy Computation Systems - Douglas Howe Department (1989) (85 citations) (Correct)
A Higher-Order Interpretation of Deductive Tableau - Ayari, Basin (2001) (3 citations) (Correct)
On the Proper Treatment of Context in NL - van Eijck (1999) (Correct)
On the Proper Treatment of Context in NL - van Eijck (2000) (Correct)
Semantic Interpretation as Higher-Order Deduction - Pereira (1991) (11 citations) (Correct)
The Type System of Aldor - Poll, Thompson (1999) (Correct)
The Type System of Aldor - Erik Poll And (1999) (Correct)
Indexed Induction-Recursion - Peter Dybjer And (2001) (Correct)
Dependent Intersection: A New Way of Defining Records in Type.. - Kopylov (2000) (3 citations) (Correct)
Using Dependent Types to Express Modular Structure - MacQueen (1986) (91 citations) (Correct)
Proof theoretical strength of Martin-Löf Type Theory with W-type.. - Setzer (1993) (Correct)
A Correspondence between Martin-Löf Type Theory, the.. - Kamareddine, Laan Self-citation (Martin-l) (Correct)
A Set Constructor for Inductive Sets in Martin-Lof's Type.. - Kent Petersson Dan (1989) (6 citations) Self-citation (Martin-lof) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC