Daniel Marlowe (he/him)

Postdoctoral teaching fellow at WMI

Homotopy type theory and univalent foundations

Date: