Constructive Category Theory (1998)

Cached

Download Links

by Gérard Huet , Amokrane Saïbi
Venue:IN PROCEEDINGS OF THE JOINT CLICS-TYPES WORKSHOP ON CATEGORIES AND TYPE THEORY, GOTEBORG
Citations:25 - 1 self

Documents Related by Co-Citation

49 Extensional concepts in intensional type theory – Martin Hofmann - 1995
108 Computation and Reasoning, A Type Theory for Computer Science – Zhaohui Luo - 1994
76 Inductive Sets and Families in Martin-Löf's Type Theory and Their Set-Theoretic Semantics – Peter Dybjer - 1991
25 The groupoid model refutes uniqueness of identity proofs – Martin Hofmann, Thomas Streicher - 1994
20 Extensional Equality in Intensional Type Theory – Thorsten Altenkirch - 1999
8 Galois - a theory development project. Report for the 1993 Turin meeting on the Representation of Mathematics in Logical Frameworks. Available at URL: www.cs.man.ac.uk/˜petera/papers.html – Peter Aczel
13 Elimination of extensionality in Martin-Löf type theory, in: Henk Barendregt, Tobias Nipkow (Eds – Martin Hofmann - 1993
60 Metamathematical investigations of a calculus of constructions. Rapport de recherche de l’INRIA – Coquand - 1989
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
4 Implementing a Category of Sets in ALF – Peter Dybjer, Verónica Gaspes - 1994
59 Generalised algebraic theories and contextual categories. Annals of Pure and Applied Logic 32 – J Cartmell - 1986
88 Categorical Logic – Andrew M. Pitts - 1995
61 Containers - constructing strictly positive types, Theoretical Computer Science 342 (2005) 3–27, applied Semantics: Selected Topics – M Abott, T Altenkirch, N Ghani
151 The view from the left – Conor McBride, James McKinna
70 Dependently Typed Functional Programs and their Proofs – Conor Mcbride - 1999
260 Programming in Martin-Löf’s Type Theory. An Introduction – B Nordström, K Petersson, J M Smith - 1990
473 The Calculus of Constructions – T Coquand, G Huet - 1988
163 Inductive Definitions in the System Coq Rules and Properties – Christine Paulin-Mohring - 1992
55 Computational category theory – David E Rydeheard, Rodney M Burstall - 1988