Jan M. Smith. The Independence of Peano's Fourth Axiom from Martin-Lof's Type Theory without Universes. Journal of Symbolic Logic, 53(3), 1988. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
The Theory of LEGO - A Proof Checker for the Extended Calculus of .. - Pollack (1994) (63 citations) (Correct)
Syntax and Semantics of Dependent Types - Hofmann (1997) (11 citations) (Correct)
A General Formulation of Simultaneous Inductive-Recursive.. - Dybjer (1998) (17 citations) (Correct)
Higman's Lemma in Type Theory - Fridlender (1997) (Correct)
A lambda calculus model of Martin-Löf's theory of types with.. - Fridlender (1997) (Correct)
A Simple Model for Quotient Types - Hofmann (1995) (15 citations) (Correct)
Higman's Lemma in Type Theory - Fridlender (1997) (Correct)
Domain Theoretic Models Of Polymorphism - Coquand, Gunter (1989) (31 citations) (Correct)
Propositional Functions and Families of Types - Smith (1989) (3 citations) Self-citation (Smith) (Correct)
Martin-Löf's Type Theory - Nordström, Petersson, Smith Self-citation (Smith) (Correct)
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