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.
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.
p.
337.
Awodey, Steve
2012.
Epistemology versus Ontology.
p.
183.
Licata, Daniel R.
and
Harper, Robert
2012.
Canonicity for 2-dimensional type theory.
ACM SIGPLAN Notices,
Vol. 47,
Issue. 1,
p.
337.
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.
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.
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.
Angiuli, Carlo
Morehouse, Edward
Licata, Daniel R.
and
Harper, Robert
2014.
Homotopical patch theory.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 9,
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.
Ghani, Neil
Nordvall Forsberg, Fredrik
and
Orsanigo, Federico
2016.
A List of Successes That Can Change the World.
Vol. 9600,
Issue. ,
p.
109.
ANGIULI, CARLO
MOREHOUSE, EDWARD
LICATA, DANIEL R.
and
HARPER, ROBERT
2016.
Homotopical patch theory.
Journal of Functional Programming,
Vol. 26,
Issue. ,
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.