Finiteness spaces. (2005)

by Thomas Ehrhard
Venue:Mathematical Structures in Computer Science