Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion

by G.M. Bierman , A. M. Pitts , C. V. Russo
Citations:35 - 1 self