| Next | Topology of Data Types | 27 |
Papers and notes by Martín Escardó, especially:
"Infinite sets that admit fast exhaustive search" 22 nd Annual IEEE Symposium on Logic in Computer Science (2007) 443–452)
"Synthetic topology of data types and classical spaces" Electronic Notes in Theoretical Computer Science 87 (2004)
Other materials at http://www.cs.bham.ac.uk/~mhe/
Papers by Paul Taylor at http://www.paultaylor.eu/ASD/
| Next |