Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion.
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion.
Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo
01 September 2000
Venue : Electron. Notes Theor. Comput. Sci.
External Link: https://doi.org/10.1016/S1571-0661(04)80874-0