A construction of Type:Type in Martin-Löf's partial type theory with one universe (0)

Cached

Download Links

by Erik Palmgren
Citations:1 - 0 self

Active Bibliography

4 An Introduction to Polymorphic Lambda Calculus – John C. Reynolds - 1994
On Domains Witnessing Increase in Information – Dieter Spreen
Developing Theories of Types and Computability – Thesis Proposal, Lars Birkedal - 1999
16 On functors expressible in the polymorphic typed lambda calculus – John C. Reynolds, Gordon D. Plotkin - 1990
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
40 Syntax and Semantics of Dependent Types – Martin Hofmann - 1997
Wander Types A Formalization of Coinduction-Recursion ∗ – Venanzio Capretta
17 Unifying Constructive and Nonstandard Analysis – Erik Palmgren - 1999
Author manuscript, published in "Computational Modeling of Objects Represented in Images, Buffalo: États-Unis (2010)" DOI: 10.1007/978-3-642-12712-0_3 Ω-arithmetization of Ellipses – Agathe Chollet, Guy Wallet, Eric Andres, Laurent Fuchs, Aurélie Richard - 2012
84 ECC, an Extended Calculus of Constructions – Zhaohui Luo - 1989
2 Intuitionistic Formal Spaces – Giovanni Sambin - 1989
1 Consistency in ALF – Thorsten Altenkirch - 1994
Irrelevance, Polymorphism, and Erasure in Type Theory – Richard Nathan Mishra-Linger - 2008
24 Type Checking with Universes – Robert Harper, Robert Pollack - 1991
held by Robert L. Constable at Cornell-University in Fall 85 — Draft — – Christoph Kreitz
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
1 A data type of partial recursive functions in Martin-Löf Type Theory. 35pp, submitted – Anton Setzer - 2007
Uniform domain representations of ℓp-spaces – Petter Kristian Køber