Martin Escardo

Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory […]

[bridged from https://mathstodon.xyz/@MartinEscardo on the fediverse by https://fed.brid.gy/ ]