A New Paradox in Type Theory (1994)

Cached

Download Links

by Thierry Coquand
Venue:Logic, Methodology and Philosophy of Science IX : Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science
Citations:7 - 0 self

Active Bibliography

53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
The Triumph of Types: Principia Mathematica’s Impact on Computer Science – Robert L. Constable
6 The Calculus of Constructions and Higher Order Logic – Herman Geuvers - 1992
5 Programming Language Semantics in Foundational Type Theory – K. Crary - 1996
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
4 An Introduction to Polymorphic Lambda Calculus – John C. Reynolds - 1994
84 ECC, an Extended Calculus of Constructions – Zhaohui Luo - 1989
Types for Proofs and Programs – Bernd Grobauer - 1999
1 Model transformations with constructive type theory – Jeffrey Terrell
9 A-translation and Looping Combinators in Pure Type Systems – Thierry Coquand, Hugo Herbelin - 1994
40 Syntax and Semantics of Dependent Types – Martin Hofmann - 1997
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
7 Partial computations in constructive type theory – Scott F. Smith - 1991
1 Building continuous webbed models for System F – S. Berardi, C. Berline - 2000
2 The Coq Proof Assistant - Reference Manual Version 6.1 – Jean-Christophe Filliâtre, Hugo Herbelin, Bruno Barras, Bruno Barras, Samuel Boutin, Eduardo Giménez, Samuel Boutin, Gérard Huet, César Muñoz, Cristina Cornes, Cristina Cornes, Judicaël Courant, Judicael Courant, Chetan Murthy, Chetan Murthy, Catherine Parent, Catherine Parent, Christine Paulin-mohring, Christine Paulin-mohring, Amokrane Saibi, Amokrane Saibi, Benjamin Werner, Benjamin Werner - 1997
The Coq Proof Assistant - Reference Manual V 5.10 – Cristina Cornes, Judicaël Courant, Jean-Christophe Filliâtre, Gérard Huet, Chetan Murthy, César Muñoz, Catherine Parent, Amokrane Saibi Benjamin Werner, Calcul Symbolique, Pascal Manoury, Pascal Manoury, Amokrane Saibi, Benjamin Werner, Projet Coq - 1995
32 The Rho Cube – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2001
14 Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract) – J.M.E. Hyland, C. -h. L. Ong - 1993
19 Higher Order Logic – Daniel Leivant - 1994