Eric Finster
发表
Andrej Bauer,
Robert Harper,
Thierry Coquand,
2013,
ArXiv.
David Reutter,
Jamie Vicary,
Eric Finster,
2020,
ArXiv.
Peter LeFanu Lumsdaine,
Daniel R. Licata,
Kuen-Bang Hou,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Samuel Mimram,
Eric Finster,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
David Reutter,
Jamie Vicary,
Eric Finster,
2020
.
Daniel R. Licata,
Eric Finster,
E. Finster,
2014,
CSL-LICS.
Samuel Mimram,
Eric Finster,
Thibaut Benjamin,
2021
.
Eric Finster,
Mathieu Anel,
Georg Biedermann,
2022
.
Samuel Mimram,
Eric Finster,
Maxime Lucas,
2021,
MFPS.
Eric Finster,
Mathieu Anel,
Georg Biedermann,
2021
.
Matthieu Sozeau,
Eric Finster,
Antoine Allioux,
2021
.
Jamie Vicary,
Eric Finster,
Alex Rice,
2021,
ArXiv.
Eric Finster,
Mathieu Anel,
Andr'e Joyal,
2017,
Journal of Topology.