2-Dimensional Directed Type Theory
Open Access
- 29 September 2011
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 276, 263-289
- https://doi.org/10.1016/j.entcs.2011.09.026
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- MiniAgda: Integrating Sized and Dependent TypesElectronic Proceedings in Theoretical Computer Science, 2010
- Two-dimensional models of type theoryMathematical Structures in Computer Science, 2009
- Weak ω-Categories from Intensional Type TheoryLecture Notes in Computer Science, 2009
- Homotopy theoretic models of identity typesMathematical Proceedings of the Cambridge Philosophical Society, 2009
- The identity type weak factorisation systemTheoretical Computer Science, 2008
- Practical Programming with Higher-Order Encodings and Dependent TypesPublished by Springer Science and Business Media LLC ,2008
- Coercive subtypingJournal of Logic and Computation, 1999
- System Description: Twelf — A Meta-Logical Framework for Deductive SystemsLecture Notes in Computer Science, 1999
- de Bruijn notation as a nested datatypeJournal of Functional Programming, 1999
- Substitution: A formal methods case study using monads and transformationsScience of Computer Programming, 1994