Finiteness spaces (2005)

by T Ehrhard
Venue:Mathematical Structures in Computer Science 15