Peter LeFanu Lumsdaine

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 17

Top Topics

Theoretical Framework

Top Venues

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

Publications