Finiteness spaces (2005)

by T Ehrhard
Venue:Math. Struct. in Comp. Sci