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.

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet