The identity type weak factorisation system
- 6 December 2008
- journal article
- research article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 409 (1), 94-109
- https://doi.org/10.1016/j.tcs.2008.08.030
Abstract
No abstract availableKeywords
Other Versions
This publication has 17 references indexed in Scilit:
- Modular correspondence between dependent type theories and categories including pretopoi and topoiMathematical Structures in Computer Science, 2005
- On the interpretation of type theory in locally cartesian closed categoriesLecture Notes in Computer Science, 1995
- Programming in Martin-Löf's Type Theory: an Introduction : Bengt Nordström, Kent Petersson and Jan M. Smith Intl. Series of Monographs on Computer Science, Vol. 7, Oxford Science Publications, Oxford, 1990, 231 pagesJournal of Computational and Applied Mathematics, 1991
- Strong stacks and classifying spacesLecture Notes in Mathematics, 1991
- Two-dimensional monad theoryJournal of Pure and Applied Algebra, 1989
- Generalised algebraic theories and contextual categoriesAnnals of Pure and Applied Logic, 1986
- Locally cartesian closed categories and type theoryMathematical Proceedings of the Cambridge Philosophical Society, 1984
- Fibrations and geometric realizationsBulletin of the American Mathematical Society, 1978
- Fibrations and Yoneda's lemma in a 2-categoryPublished by Springer Science and Business Media LLC ,1974
- Constructive validityPublished by Springer Science and Business Media LLC ,1970