Deriving Category Theory from Type Theory (1993)

Cached

Download Links

by Roy L. Crole

Active Bibliography

67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
88 Categorical Logic – Andrew M. Pitts - 1995
5 A SHEAF THEORETIC APPROACH TO MEASURE THEORY – Matthew Jackson - 2006
1 Distributed Operational Semantics for the Object Paradigm – Grant Malcolm, Corina Cirstea - 1997
4 Calculate Categorically! – Maarten Fokkinga - 1992
8 Interconnection of Object Specifications – Grant Malcolm - 1996
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
1 Categorical Logic – S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds, Andrew M. Pitts, Andrew M. Pitts - 2001
2 Fields in Physics are like Curried Functions or Physics for Functional Programmers – Gary Leavens, Gary T. Leavens - 1994
Computational Adequacy of the FIX-Logic – Roy L. Crole - 1995
7 Relating Operational and Denotational Semantics for Input/Output Effects – Roy L. Crole, Andrew D. Gordon - 1999
Fibrational Classification of Positive Horn Theories – Dirk Pattinson - 1998
1 Database Engineering from the Category Theory Viewpoint – David Toth, David Toth
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
3 On Characterizations of the Basic Feasible Functionals Part II – Robert J. Irwin, et al. - 2002
TYPES, SETS AND CATEGORIES – John L. Bell
2 Using Commutativity Properties for Controlling Coercions – Stephan A. Missura, Andreas Weber
4 A Categorical Interpretation of Landin's Correspondence Principle – Anindya Banerjee, David A. Schmidt - 1993
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004