Comparing Cubes

by Steffen van Bakel , Luigi Liquori , Simona Ronchi Della Rocca , Pawel Urzyczyn , Afdeling Informatica , Instytut Informatyki
Citations:5 - 3 self

Active Bibliography

7 Comparing cubes of typed and type assignment systems – Steffen Van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Paweł Urzyczyn - 1997
32 The Rho Cube – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2001
8 Refining the Barendregt Cube using Parameters – Fairouz Kamareddine, Twan Laan, Rob Nederpelt - 2001
4 Pure type systems in rewriting logic: Specifying typed higher-order languages in a first-order logical framework – Mark-oliver Stehr - 2004
20 Pure Type Systems with Definitions – Paula Severi , Erik Poll - 1993
3 Pure type systems with corecursion on streams-- From finite to infinitary normalisation – Paula Severi, Fer-jan De Vries - 2012
25 Modularity of Strong Normalization and Confluence in the algebraic-lambda-cube – Franco Barbanera, Maribel Fernández, Herman Geuvers - 1994
8 Modularity of Strong Normalization in the Algebraic-λ-cube – Franco Barbanera, Maribel Fernández, Herman Geuvers - 1996
5 Typechecking in Pure Type Systems – Randy Pollack, Eric Poll - 1992
20 Implicit Syntax – Robert Pollack - 1992
Irrelevance, Polymorphism, and Erasure in Type Theory – Richard Nathan Mishra-Linger - 2008
10 Pure Type Systems in Rewriting Logic – Mark-Oliver Stehr, José Meseguer - 1999
6 Revisiting the Notion of Function – Fairouz Kamareddine, Twan Laan, Rob Nederpelt
7 On the Definition of the Eta-long Normal Form in Type Systems of the Cube – Gilles Dowek, Benjamin Werner - 1993
29 Checking Algorithms for Pure Type Systems – L.S. van Benthem Jutting, J. McKinna, R. Pollack - 1993
3 Type Inference and Reconstruction for First Order Dependent Types – Neal Nelson, To Mary Alice, To Sherri - 1995
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
19 Higher Order Logic – Daniel Leivant - 1994
47 Proof-assistants using Dependent Type Systems – Henk Barendregt, Herman Geuvers - 2001