Generalised algebraic theories and contextual categories
- 5 May 2003
- journal article
- Published by Elsevier
- Vol. 32, 209-243
- https://doi.org/10.1016/0168-0072(86)90053-9
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Generalised algebraic theories and contextual categoriesPublished by Elsevier ,2003
- Set Theory with Type RestrictionsPublished by Elsevier ,1994
- Constructive mathematics and computer programmingPhilosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 1984
- Completeness of many-sorted equational logicACM SIGPLAN Notices, 1981
- The Logic of TopoiPublished by Elsevier ,1977
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970
- The categorical comprehension schemePublished by Springer Nature ,1969
- Some Aspects of Equational CategoriesPublished by Springer Nature ,1966