Finiteness spaces (0)

by Thomas Ehrhard
Venue:Mathematical Structures in Computer Science