P. Lumsdaine
发表
Chris Kapulkin,
P. Lumsdaine,
2020,
2006.13694.
P. Lumsdaine,
A. Bauer,
2012,
Mathematical Proceedings of the Cambridge Philosophical Society.
P. Lumsdaine,
Krzysztof Kapulkin,
V. Voevodsky,
2014
.
Chris Kapulkin,
P. Lumsdaine,
V. Voevodsky,
2012,
1203.2553.
Peter LeFanu Lumsdaine,
Chris Kapulkin,
Chris Kapulkin,
2012,
Journal of the European Mathematical Society.
Chris Kapulkin,
P. Lumsdaine,
2016,
Advances in Mathematics.
P. Lumsdaine,
Michael Shulman,
PETER LEFANU LUMSDAINE,
2017,
Mathematical Proceedings of the Cambridge Philosophical Society.
P. Lumsdaine,
2008
.
J. Avigad,
P. Lumsdaine,
Krzysztof Kapulkin,
2015
.
H. Forssell,
P. Lumsdaine,
2016,
1604.03851.
Benoît Valiron,
Alexander S. Green,
Peter LeFanu Lumsdaine,
2013,
PLDI.
Peter LeFanu Lumsdaine,
Benedikt Ahrens,
P. Lumsdaine,
2017,
FSCD.
Benoît Valiron,
Alexander S. Green,
Peter LeFanu Lumsdaine,
2013,
RC.
Jeremy Avigad,
Peter LeFanu Lumsdaine,
Krzysztof Kapulkin,
2013,
Mathematical Structures in Computer Science.
Jeremy Avigad,
Peter LeFanu Lumsdaine,
Krzysztof Kapulkin,
2013,
ArXiv.
P. Lumsdaine,
2008
.
Andrej Bauer,
Bas Spitters,
Matthieu Sozeau,
2016,
CPP.
Peter LeFanu Lumsdaine,
Daniel R. Licata,
Kuen-Bang Hou,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Peter LeFanu Lumsdaine,
Chris Kapulkin,
Chris Kapulkin,
2018,
Journal of Pure and Applied Algebra.
Henrik Forssell,
Peter LeFanu Lumsdaine,
H. Forssell,
2019,
The Journal of Symbolic Logic.
S. Hansson,
Peter Pagin,
D. Gurov,
2018,
The Bulletin of Symbolic Logic.
Nicolas Tabareau,
Peter LeFanu Lumsdaine,
Nicolas Tabareau,
2018,
Journal of Automated Reasoning.
P. Lumsdaine,
M. Warren,
2014,
ACM Trans. Comput. Log..
Andrej Bauer,
Peter LeFanu Lumsdaine,
Philipp G. Haselwarter,
2020,
ArXiv.
Steven Awodey,
Peter LeFanu Lumsdaine,
Nicola Gambino,
2007,
The Journal of Symbolic Logic.