Pure Type Systems with Definitions (1993)

Cached

Download Links

by Paula Severi , Erik Poll
Citations:20 - 1 self

Active Bibliography

3 Pure type systems with corecursion on streams-- From finite to infinitary normalisation – Paula Severi, Fer-jan De Vries - 2012
29 Checking Algorithms for Pure Type Systems – L.S. van Benthem Jutting, J. McKinna, R. Pollack - 1993
84 ECC, an Extended Calculus of Constructions – Zhaohui Luo - 1989
4 Pure type systems in rewriting logic: Specifying typed higher-order languages in a first-order logical framework – Mark-oliver Stehr - 2004
5 Typechecking in Pure Type Systems – Randy Pollack, Eric Poll - 1992
102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
18 Higher Order Logic – Daniel Leivant - 1994
24 Type Checking with Universes – Robert Harper, Robert Pollack - 1991
6 The Calculus of Constructions and Higher Order Logic – Herman Geuvers - 1992
20 Implicit Syntax – Robert Pollack - 1992
3 A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems – Fairouz Kamareddine, Twan Laan - 2001
47 Proof-assistants using Dependent Type Systems – Henk Barendregt, Herman Geuvers - 2001
20 A Proof of Strong Normalization For the Theory of Constructions Using a Kripke-Like Interpretation – Thierry Coquand, Jean Gallier, Le Chesnay Cedex - 1990
8 Modularity of Strong Normalization in the Algebraic-λ-cube – Franco Barbanera, Maribel Fernández, Herman Geuvers - 1996
10 Pure Type Systems in Rewriting Logic – Mark-Oliver Stehr, José Meseguer - 1999
5 Comparing Cubes – Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn, Afdeling Informatica, Instytut Informatyki
4 Inheritance of Proofs – Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup, Fachbereich Mathematik, Lehrstuhl Fur Informatik Vii - 1996
3 Type-checking Injective Pure Type Systems – Gilles Barthe - 1993
43 Pure type systems formalized – James Mckinna, Robert Pollack - 1993