Peter LeFanu Lumsdaine

icon indicating a website link www.peterlefanulumsdaine.com icon indicating an email [email protected]

icon company Stockholm University icon location Stockholm, Sweden

Results 3 repositories owned by Peter LeFanu Lumsdaine

general-type-theories

51
Stars
1
Forks
Watchers

A (formalised) general definition of type theories

verified publisher icon peterlefanulumsdaine

Oberwolfach-explorations

15
Stars
1
Forks
Watchers

collaboration on work in progress

verified publisher icon peterlefanulumsdaine

palmgren-archive

17
Stars
1
Forks
Watchers

Research material of Erik Palmgren (1963–2019)

verified publisher icon peterlefanulumsdaine