|
|
SET THEORY FOR CATEGORY THEORY
– Michael A. Shulman
- 810
|
|
1
|
Categorical Logic
– S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds, Andrew M. Pitts, Andrew M. Pitts
- 2001
|
|
1
|
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
– Mícheál Mac An Airchinnigh
- 2001
|
|
4
|
On the Role of Category Theory in the Area of Algebraic Specifications
– H. Ehrig, M. Große-Rhode, U. Wolter
- 1996
|
|
|
Part II Local Realizability Toposes and a Modal Logic for
– unknown authors
|
|
18
|
Developing Theories of Types and Computability via Realizability
– Lars Birkedal
- 2000
|
|
|
Algebra in a Topos
– Luís Manuel Silveira Russo
|
|
|
Deriving Category Theory from Type Theory
– Roy L. Crole
- 1993
|
|
|
TO BE DONE. Contents
– Steve Awodey, Carsten Butz, Alex Simpson
- 2007
|
|
3
|
Relating first-order set theories and elementary toposes
– Steve Awodey, Carsten Butz, Alex Simpson, Thomas Streicher
- 2007
|
|
2
|
Sketches: Outline with References
– Charles Wells
- 1994
|
|
26
|
Variations on Algebra: monadicity and generalisations of equational theories
– Edmund Robinson
- 2001
|
|
|
Fibrational Classification of Positive Horn Theories
– Dirk Pattinson
- 1998
|
|
2
|
Proving Semantical Equivalence of Data Specifications
– Frank Piessens, Eric Steegmans
- 2005
|
|
1
|
Monad Transformers as Monoid Transformers
– Mauro Jaskelioff
|
|
12
|
Programming Metalogics with a Fixpoint Type
– Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi
- 1992
|
|
3
|
A Universal Characterisation of the Closed Euclidean Interval
– Martín H. Escardo, Alex K. Simpson
|
|
1
|
Distributed Operational Semantics for the Object Paradigm
– Grant Malcolm, Corina Cirstea
- 1997
|
|
8
|
Interconnection of Object Specifications
– Grant Malcolm
- 1996
|
