Emily Riehl
发表
Andrej Bauer,
Robert Harper,
Thierry Coquand,
2013,
ArXiv.
Emily Riehl,
Dominic R. Verity,
Dominic Verity,
2018,
Appl. Categorical Struct..
Emily Riehl,
Dominic R. Verity,
Dominic Verity,
2013,
1304.6871.
Emily Riehl,
Mira Wattal,
E. Riehl,
2021,
La Matematica.
Emily Riehl,
Philip Hackney,
Martina Rovelli,
2021
.
Emily Riehl,
Dominic R. Verity,
Dominic Verity,
2021,
2101.09853.
Emily Riehl,
E. Riehl,
2010
.
Michael Shulman,
Emily Riehl,
E. Riehl,
2017,
1705.07442.
Emily Riehl,
E. Riehl,
2014
.
Emily Riehl,
Dominic R. Verity,
Dominic Verity,
2013,
1310.8279.
Emily Riehl,
E. Riehl,
2009,
0910.2733.
Emily Riehl,
Nick Gurski,
Eugenia Cheng,
2014
.
Emily Riehl,
Tobias Barthel,
E. Riehl,
2012,
1204.5427.
Michael Shulman,
Emily Riehl,
E. Riehl,
2017,
Higher Structures.
Emily Riehl,
E. Riehl,
E. Graham Evans,
2003
.