Some free constructions in realizability and proof theory
- 15 September 1995
- journal article
- Published by Elsevier in Journal of Pure and Applied Algebra
- Vol. 103 (2) , 117-148
- https://doi.org/10.1016/0022-4049(94)00103-p
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- An elementary characterization of categories of separated objectsJournal of Pure and Applied Algebra, 1993
- Categories, allegoriesChoice Reviews Online, 1992
- Colimit completions and the effective toposThe Journal of Symbolic Logic, 1990
- The Discrete Objects in the Effective ToposProceedings of the London Mathematical Society, 1990
- A categorical approach to realizability and polymorphic typesPublished by Springer Nature ,1988
- Cartesian bicategories IJournal of Pure and Applied Algebra, 1987
- Reflective subcategories, localizations and factorizationa systemsJournal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics, 1985
- The free exact category on a left exact oneJournal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics, 1982
- The Effective ToposPublished by Elsevier ,1982