Nonclassical techniques for models of computation (1999)

by K Martin
Venue:Topology Proceedings