Concepedia

Peter LeFanu Lumsdaine

PL

Statistics

Publications

18

Citations

1K

H-Index

13

Active since

2010

Affiliations

Carnegie Mellon University(Current)

Stockholm University

Institute for Advanced Study

Dalhousie University

University of Pennsylvania

Peter LeFanu Lumsdaine is an author at Carnegie Mellon University specializing in category theory, mathematics, and type theory.

ORCID

Publications per year

2010–2021

18

Publications

18