Peter LeFanu Lumsdaine
Scholar

Peter LeFanu Lumsdaine

Google Scholar ID: o-4C7WkAAAAJ
Assistant professor, Dept. of Mathematics, Stockholm University
Logiccategory theoryformalisation of mathematics
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,355
 
H-index
18
 
i10-index
23
 
Publications
20
 
Co-authors
16
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
16 total
Chris Kapulkin
Chris Kapulkin
Associate Professor; University of Western Ontario
Andrej Bauer
Andrej Bauer
University of Ljubljana
Neil J. Ross
Neil J. Ross
Dalhousie University
Co-author 4
Co-author 4
Michael A Warren
Michael A Warren
Unknown affiliation
Benedikt Ahrens
Benedikt Ahrens
Delft University of Technology
Jason Gross
Jason Gross
Graduate, Massachusetts Institute of Technology
Bas Spitters
Bas Spitters
Associate Professor, Aarhus University