|
5
|
Comparing cubes of typed and type assignment systems
– Steffen Van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Paweł Urzyczyn
- 1997
|
|
29
|
The Rho Cube
– Horatiu Cirstea, Claude Kirchner, Luigi Liquori
- 2001
|
|
1
|
Refining the Barendregt Cube using Parameters
– Fairouz Kamareddine, Twan Laan, Rob Nederpelt
- 2001
|
|
3
|
Pure type systems in rewriting logic: Specifying typed higher-order languages in a first-order logical framework
– Mark-oliver Stehr
- 2004
|
|
17
|
Pure Type Systems with Definitions
– Paula Severi , Erik Poll
- 1993
|
|
5
|
Typechecking in Pure Type Systems
– Randy Pollack, Eric Poll
- 1992
|
|
18
|
Implicit Syntax
– Robert Pollack
- 1992
|
|
25
|
Modularity of Strong Normalization and Confluence in the algebraic-lambda-cube
– Franco Barbanera, Maribel Fernández, Herman Geuvers
- 1994
|
|
5
|
Modularity of Strong Normalization in the Algebraic-λ-cube
– Franco Barbanera, Maribel Fernández, Herman Geuvers
- 1996
|
|
|
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
|
|
3
|
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
|
|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
|
3
|
Type Inference and Reconstruction for First Order Dependent Types
– Neal Nelson, To Mary Alice, To Sherri
- 1995
|
|
16
|
Higher Order Logic
– Daniel Leivant
- 1994
|
|
39
|
Proof-assistants using Dependent Type Systems
– Henk Barendregt, Herman Geuvers
- 2001
|
|
3
|
Type-checking Injective Pure Type Systems
– Gilles Barthe
- 1993
|
