Operational properties of Lily, a polymorphic linear lambda calculus with recursion (2000)

by Gavin Bierman, Andrew Pitts, Claudio Russo
Venue:In HOOTS, volume 41 of ENTCS