Luis Scoccola

PhD

D. Christensen

MC 102
x86521
lscoccol@uwo.ca

Homotopy Type Theory, Computability, Type Theory, Topology