Publications
with N. Kershaw · preprint, 2026
with J. Ender · preprint, 2026
with D. Carranza · preprint, 2026
with Y. Li · Theory Appl. Categ. 45 (2026), Paper No. 19, 717-758
with Y. Li · preprint, 2025
with J. Ender · preprint, 2025
with A. Grenier · preprint, 2025
with K. Arakawa and D. Carranza · preprint, 2025
with K. Arakawa and D. Carranza · Algebr. Geom. Topol. (to appear), 2025
with N. Kershaw · preprint, 2025
with D. Carranza, N. Kershaw, R. Laubenbacher, and M. Wheeler · preprint, 2025
with S. Ebel · Algebr. Geom. Topol. 25 (2025), 1227-1264
with Y. Li · Theoret. Comput. Sci. 1029 (2025), Paper No. 115015
with D. Carranza and L.-Z. Wong · Theory Appl. Categ. 44 (2025), Paper No. 11, 326-343
with U. Mavinkurve · Adv. Appl. Math. 164 (2025), Paper No. 102838
with T. Campion and Y. Maehara · Geom. Topol. 29 (2025), no. 3, 1115-1170
with M. Fiore and Y. Li · preprint, 2024
with N. Kershaw · submitted, 2024
with U. Mavinkurve · submitted, 2024
with N. Kershaw · Theory Appl. Categ. 41 (2024), Paper No. 23, 760–784
with D. Carranza, B. Doherty, M. Opie, M. Sarazola, and L.-Z. Wong · Algebr. Comb. 7 (2024), no. 2, 475–514
with D. Carranza · Compos. Math. 160, no. 12 (2024), 2856–2903
with B. Doherty, Z. Lindsey, and C. Sattler · Mem. Amer. Math. Soc. 297 (2024), no. 1484
with D. Carranza and J. Kim · Appl. Categ. Structures 31 (2023), no.5, 41
with D. Carranza and Z. Lindsey · preprint, 2023
with D. Carranza and A. Tonks · Math. Z. 305, 61 (2023)
with D. Carranza · Expo. Math. 41 (2023) 125518, no. 4
with B. Doherty and Y. Maehara · Adv. Math. 416 (2023) 108902
with D. Carranza, J. Chang, and R. Sandford · Log. Methods Comput. Science 17 (2021), no. 1, Paper No. 3
with P. LeF. Lumsdaine · J. Pure Appl. Algebra 225 (2021), no. 4
with P. LeF. Lumsdaine · J. Eur. Math. Soc. (JEMS) 23 (2021), no. 6, 2071-2126
with P. LeF. Lumsdaine · Theory Appl. Categ. 35 (2020), Paper No. 40, 1546–1548
with V. Voevodsky · J. Topol. 13 (4), 1682-1700, 2020
with Z. Lindsey and L.-Z. Wong · New York J. Math. 25 (2019), 627–641
with K. Szumiło · Selecta Math. (N.S.) 25 (2019), no. 2, Art. 33
with R. Carlton and A. Essex · Topics in Cryptology – CT-RSA 2018, 137-156, LNCS 10808
with P. LeF. Lumsdaine · Adv. Math. 337, 1-38, 2018
J. Topol. 10 (4), 1029-1049, 2017
with K. Szumiło · Appl. Categor. Struct. 25 (2017), no. 3, 323–347
with J. Avigad and P. LeF. Lumsdaine · Math. Structures Comput. Science 25 (2015), no. 5, 1040–1070
with B. Ahrens and M. Shulman · Math. Structures Comput. Science 25 (2015), no. 5, 1010–1039
PhD dissertation, 148 pp., 2014
with as part of the Univalent Foundations Project · 2013
with P. LeF. Lumsdaine and V. Voevodsky · not intended for publication, 2012
with A. Kurz and J. Velebil · Advances in modal logic. Vol. 9, 368–385, Coll. Publ., London, 2012
with P. Arndt · Typed lambda calculi and applications, 45–60, LNCS 6690, Springer, 2011
No papers in this category yet.
Google Scholar arXiv MathSciNet