J. Terlouw, Een nadere bewijstheoretische analyse van GSTT's (incl. appendix), Manuscript, Faculty of Mathematics and Computer Science, University of Nijmegen, Netherlands, March, April 1989. (In Dutch) Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Automath and Pure Type Systems - Kamareddine, Laan, Nederpelt (2003) (Correct)
CPS Translations and Applications: The Cube and Beyond - Barthe (1996) (5 citations) (Correct)
Pure Type Systems with de Bruijn indices - Kamareddine, Ríos (Correct)
Reviewing the classical and the de Bruijn notation for.. - Kamareddine (2001) (Correct)
An Induction Principle for Pure Type Systems - Barthe, Hatcliff, Sørensen (2000) (1 citation) (Correct)
Safe Proof Checking in Type Theory with Y - Geuvers, Poll, Zwanenburg (1999) (Correct)
A Correspondence between Martin-Löf Type Theory, the.. - Kamareddine, Laan (Correct)
Proof-assistants using Dependent Type Systems - Barendregt, Geuvers (1999) (5 citations) (Correct)
Pure Type Systems in Rewriting Logic - Stehr, Meseguer (1999) (7 citations) (Correct)
A Correspondence between Nuprl, the Ramified Theory of Types .. - Kamareddine, Laan (Correct)
Canonical typing and Π-conversion in the Barendregt Cube - Kamareddine, Nederpelt (1996) (2 citations) (Correct)
Type-checking injective Pure Type Systems - Barthe (1998) (3 citations) (Correct)
An Induction Principle for Pure Type Systems - Barthe, Hatcliff, Sørensen (1998) (1 citation) (Correct)
AUTOMATH and Pure Type Systems - Laan (1996) (Correct)
Normalisation in Lambda Calculus and its relation to Type Inference - Severi (1996) (11 citations) (Correct)
CPS Translations and Applications: The Cube and Beyond - Barthe, Hatcliff, Sørensen (1998) (5 citations) (Correct)
Alpha Conversion in Simply Typed Lambda Calculus - Bove, Severi (Correct)
CPS Translations and Applications: The Cube and Beyond - Barthe, Hatcliff, Sørensen (1996) (5 citations) (Correct)
A Correspondence between Nuprl and the Ramified Theory of Types - Kamareddine, Laan (1996) (1 citation) (Correct)
Pure Type Systems without the Π-condition - Severi (1995) (Correct)
Safe Proof Checking in Type Theory with Y - Geuvers, Poll, Zwanenburg (1999) (Correct)
A Correspondence between Martin-Löf Type Theory, the.. - Kamareddine, Laan (Correct)
Parameters in Pure Type Systems - Bloo, Kamareddine, Laan, Nederpelt (2002) (1 citation) (Correct)
The Rho Cube - Cirstea, Kirchner, Liquori (2001) (3 citations) (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