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
Co-authors
10 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
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
Jeremy Avigad
Jeremy Avigad
Professor of Philosophy and Mathematical Sciences, Carnegie Mellon University