34 citations · 50 across the 9 of their papers we have counts for
1 paper · 2 filters
Martín Hötzel Escardó
Perhaps surprisingly, there are infinite types that can be exhaustively searched mechanically in finite time. We use ideas from topology to build plenty of them, referring to searc…