Skip to main content

Synthetic topology of data types and classical spaces

Martin H Escardo ( University of Birmingham )