Peter LeFanu Lumsdaine
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2013–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | APLAS | Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories. | Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North |
| 2017 | CPP | The HoTT library: a formalization of homotopy type theory in Coq. | Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters |
| 2017 | CSL | Categorical Structures for Type Theory in Univalent Foundations. | Benedikt Ahrens, Peter LeFanu Lumsdaine, Vladimir Voevodsky |
| 2016 | LICS | A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory. | Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine |
| 2013 | PLDI | Quipper: a scalable quantum programming language. | Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benot Valiron |
| 2013 | RC | An Introduction to Quantum Programming in Quipper. | Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benot Valiron |