Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Garner, Richard
2009.
On the strength of dependent products in the type theory of Martin-Löf.
Annals of Pure and Applied Logic,
Vol. 160,
Issue. 1,
p.
1.
Lumsdaine, Peter LeFanu
2010.
Weak omega-categories from intensional type theory.
Logical Methods in Computer Science,
Vol. Volume 6, Issue 3,
Issue. ,
Licata, Daniel R.
and
Harper, Robert
2011.
2-Dimensional Directed Type Theory.
Electronic Notes in Theoretical Computer Science,
Vol. 276,
Issue. ,
p.
263.
van den Berg, Benno
and
Garner, Richard
2012.
Topological and Simplicial Models of Identity Types.
ACM Transactions on Computational Logic,
Vol. 13,
Issue. 1,
p.
1.
Licata, Daniel R.
and
Harper, Robert
2012.
Canonicity for 2-dimensional type theory.
p.
337.
Kock, Joachim
2012.
Data Types with Symmetries and Polynomial Functors over Groupoids.
Electronic Notes in Theoretical Computer Science,
Vol. 286,
Issue. ,
p.
351.
Licata, Daniel R.
and
Harper, Robert
2012.
Canonicity for 2-dimensional type theory.
ACM SIGPLAN Notices,
Vol. 47,
Issue. 1,
p.
337.
Awodey, Steve
2012.
Epistemology versus Ontology.
p.
183.
Awodey, Steve
Hofstra, Pieter
and
Warren, Michael A.
2013.
Martin-Löf complexes.
Annals of Pure and Applied Logic,
Vol. 164,
Issue. 10,
p.
928.
Licata, Daniel R.
and
Shulman, Michael
2013.
Calculating the Fundamental Group of the Circle in Homotopy Type Theory.
p.
223.
Angiuli, Carlo
Morehouse, Edward
Licata, Daniel R.
and
Harper, Robert
2014.
Homotopical patch theory.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 9,
p.
243.
Licata, Daniel R.
and
Finster, Eric
2014.
Eilenberg-MacLane spaces in homotopy type theory.
p.
1.
Angiuli, Carlo
Morehouse, Edward
Licata, Daniel R.
and
Harper, Robert
2014.
Homotopical patch theory.
p.
243.
Sojakova, Kristina
2015.
Higher Inductive Types as Homotopy-Initial Algebras.
p.
31.
Sojakova, Kristina
2015.
Higher Inductive Types as Homotopy-Initial Algebras.
ACM SIGPLAN Notices,
Vol. 50,
Issue. 1,
p.
31.
ANGIULI, CARLO
MOREHOUSE, EDWARD
LICATA, DANIEL R.
and
HARPER, ROBERT
2016.
Homotopical patch theory.
Journal of Functional Programming,
Vol. 26,
Issue. ,
Ghani, Neil
Nordvall Forsberg, Fredrik
and
Orsanigo, Federico
2016.
A List of Successes That Can Change the World.
Vol. 9600,
Issue. ,
p.
109.
Kapulkin, Krzysztof
and
Lumsdaine, Peter LeFanu
2018.
The homotopy theory of type theories.
Advances in Mathematics,
Vol. 337,
Issue. ,
p.
1.
Kapulkin, Krzysztof
and
Szumiło, Karol
2019.
Internal languages of finitely complete
$$(\infty , 1)$$
(
∞
,
1
)
-categories.
Selecta Mathematica,
Vol. 25,
Issue. 2,
Kapulkin, Krzysztof
and
Lumsdaine, Peter LeFanu
2021.
Homotopical inverse diagrams in categories with attributes.
Journal of Pure and Applied Algebra,
Vol. 225,
Issue. 4,
p.
106563.