A finiteness structure on resource terms (2010)

by T Ehrhard
Venue:In: Proceedings of LICS-2010. IEEE Computer Society