Finiteness spaces (1987)

by Thomas Ehrhard
Venue:Mathematical Structures in Computer Science
Citations:66 - 14 self