A finiteness structure on resource terms (2010)

by T Ehrhard
Venue:In: LICS 2010