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

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
49 Extensional concepts in intensional type theory – Martin Hofmann - 1995
108 Computation and Reasoning, A Type Theory for Computer Science – Zhaohui Luo - 1994
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
4 Implementing a Category of Sets in ALF – Peter Dybjer, Verónica Gaspes - 1994
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
59 Generalised algebraic theories and contextual categories. Annals of Pure and Applied Logic 32 – J Cartmell - 1986
55 Computational category theory – David E Rydeheard, Rodney M Burstall - 1988
20 Extensional Equality in Intensional Type Theory – Thorsten Altenkirch - 1999
88 Categorical Logic – Andrew M. Pitts - 1995
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
44 Intuitionistic Model Constructions and Normalization Proofs – Thierry Coquand, Peter Dybjer - 1998
40 Syntax and Semantics of Dependent Types – Martin Hofmann - 1997
55 Locally cartesian closed categories and type – R A G Seely - 1984
151 The view from the left – Conor McBride, James McKinna
61 Containers - constructing strictly positive types, Theoretical Computer Science 342 (2005) 3–27, applied Semantics: Selected Topics – M Abott, T Altenkirch, N Ghani
70 Dependently Typed Functional Programs and their Proofs – Conor Mcbride - 1999
13 Elimination of extensionality in Martin-Löf type theory, in: Henk Barendregt, Tobias Nipkow (Eds – Martin Hofmann - 1993