[[!redirects Martín Hötzel Escardó]] [Homepage](http://www.cs.bham.ac.uk/~mhe/) [[nlab:Martin Escardo]] category: people