A finiteness structure on resource terms (2010)

by Thomas Ehrhard
Venue:IN LICS
Citations:3 - 1 self