Towards a Classical Linear lambda-calculus.
Towards a Classical Linear lambda-calculus.
Gavin M. Bierman
01 September 1996
Venue : Electron. Notes Theor. Comput. Sci.
External Link: https://doi.org/10.1016/S1571-0661(05)80399-8
01 September 1996
Venue : Electron. Notes Theor. Comput. Sci.
External Link: https://doi.org/10.1016/S1571-0661(05)80399-8