About Andrew W Swan

I am a postdoc at the University of Ljubljana interested in various things including constructive maths, homotopy type theory, (higher) topos theory and realizability.

Lists

Timeline

{username} has no activity yet