Comparing cubes of typed and type assignment systems (1997)

by Steffen Van Bakel , Luigi Liquori , Simona Ronchi Della Rocca , Paweł Urzyczyn
Venue:Annals of Pure and Applied Logic
Citations:7 - 3 self

Active Bibliography

5 Comparing Cubes – Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn, Afdeling Informatica, Instytut Informatyki
84 ECC, an Extended Calculus of Constructions – Zhaohui Luo - 1989
3 Pure type systems with corecursion on streams-- From finite to infinitary normalisation – Paula Severi, Fer-jan De Vries - 2012
32 The Rho Cube – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2001
32 The Conservation Theorem revisited – Philippe de Groote - 1993
36 Principal type schemes for the strict type assignment system – Steffen Van Bakel - 1993
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
1 Contents – David P. Cunningham, Supervisor Herbert Wiklicky - 2005
62 Intersection Type Assignment Systems – Steffen Van Bakel - 1995
6 Strict Intersection Types for the Lambda Calculus – Steffen Van Bakel - 2010
19 Higher Order Logic – Daniel Leivant - 1994
Type Systems for Programming Languages – Steffen van Bakel - 2001
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
13 The Implicit Calculus of Constructions - Extending Pure Type Systems with an Intersection Type Binder and Subtyping – Alexandre Miquel - 2001
163 Inductive Definitions in the System Coq Rules and Properties – Christine Paulin-Mohring - 1992
12 Typability and Type Checking in the Second-Order lambda-Calculus Are Equivalent and Undecidable – J. B. Wells - 1993
Irrelevance, Polymorphism, and Erasure in Type Theory – Richard Nathan Mishra-Linger - 2008
7 On the Definition of the Eta-long Normal Form in Type Systems of the Cube – Gilles Dowek, Benjamin Werner - 1993
1 Variants of the Basic Calculus of Constructions – M. W. Bunder, Jonathan P. Seldin - 2004