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

Active Bibliography

1 Specifications, Algorithms, Axiomatisations and Proofs Commented Case Studies – Gérard Huet - 1995
Axiomatisations, Proofs, and Formal Specifications of Algorithms: Commented Case Studies In the Coq Proof Assistant – Gérard Huet
Relative monads formalised – Thorsten Altenkirch, et al. - 2010
Gedanken: A tool for pondering the tractability of correct program technology – Lars Warren Ericson, Prof Bhubaneswar Mishra, C Lars Warren Ericson - 1994
7 Type Theory via Exact Categories (Extended Abstract) – L. Birkedal, A. Carboni, G. Rosolini, D. S. Scott - 1998
30 Setoids in Type Theory – Gilles Barthe, Venanzio Capretta, Olivier Pons - 2000
Handbook of the History of Logic. Volume 6 – Andrea Cantini, Dov M. Gabbay, John Woods (editors
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
1 Parallel Haskell: The vectorisation monad – Keith Clarke, Jonathan M. D. Hill - 1993
2 An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming – Jonathan M. D. Hill, Keith Clarke
11 The logic of entanglement – Bob Coecke
44 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
Investigations about Monads – Ralf Hemmecke - 1993
6 A Unifying Framework for Conceptual Data Modelling Concepts – P.J.M. Frederiks, A. H. M. Ter Hofstede, E. Lippe, A. H. M. Ter Hofstede - 1997
16 Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids – Ilya Beylin, Peter Dybjer - 1995
66 A Categorical Programming Language – Tatsuya Hagino, Tatsuya Hagino - 1987
25 HasCASL: Towards Integrated Specification and Development of Functional Programs – Lutz Schröder, Till Mossakowski - 2002
44 Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra – Paul Bernard Jackson - 1995
Desiderata for Interactive Verification Systems – Konrad Slind, Christian Prehofer - 1994