Peter LeFanu Lumsdaine
发表
Benoît Valiron,
Alexander S. Green,
Peter LeFanu Lumsdaine,
2013,
RC.
Martín Hötzel Escardó,
Peter LeFanu Lumsdaine,
Auke Bart Booij,
2016,
TYPES.
Peter LeFanu Lumsdaine,
Benedikt Ahrens,
P. Lumsdaine,
2017,
FSCD.
Peter LeFanu Lumsdaine,
2009,
TLCA.
Jeremy Avigad,
Peter LeFanu Lumsdaine,
Krzysztof Kapulkin,
2013,
Mathematical Structures in Computer Science.
Andrej Bauer,
Bas Spitters,
Matthieu Sozeau,
2016,
CPP.
Andrej Bauer,
Peter LeFanu Lumsdaine,
Philipp G. Haselwarter,
2020,
ArXiv.
Vladimir Voevodsky,
Peter LeFanu Lumsdaine,
Benedikt Ahrens,
2018,
Log. Methods Comput. Sci..
Nicolas Tabareau,
Peter LeFanu Lumsdaine,
Nicolas Tabareau,
2018,
Journal of Automated Reasoning.
Peter LeFanu Lumsdaine,
Daniel R. Licata,
Kuen-Bang Hou,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Vladimir Voevodsky,
Peter LeFanu Lumsdaine,
Benedikt Ahrens,
2017,
CSL.
Jeremy Avigad,
Peter LeFanu Lumsdaine,
Krzysztof Kapulkin,
2013,
ArXiv.
Benoît Valiron,
Alexander S. Green,
Peter LeFanu Lumsdaine,
2013,
PLDI.
Peter LeFanu Lumsdaine,
Michael A. Warren,
2015,
TOCL.
Steven Awodey,
Peter LeFanu Lumsdaine,
Nicola Gambino,
2007,
The Journal of Symbolic Logic.
Henrik Forssell,
Peter LeFanu Lumsdaine,
H. Forssell,
2019,
The Journal of Symbolic Logic.
Peter LeFanu Lumsdaine,
Benedikt Ahrens,
2017,
FSCD.
Peter LeFanu Lumsdaine,
2010
.
Peter LeFanu Lumsdaine,
Steven Awodey,
2010
.
Peter LeFanu Lumsdaine,
Chris Kapulkin,
Chris Kapulkin,
2012,
Journal of the European Mathematical Society.
Peter LeFanu Lumsdaine,
Nicola Gambino,
Steve Awodey,
2007
.
Peter LeFanu Lumsdaine,
Chris Kapulkin,
Chris Kapulkin,
2018,
Journal of Pure and Applied Algebra.