A Classical Linear lambda-Calculus.
A Classical Linear lambda-Calculus.
Gavin M. Bierman
01 September 1999
Venue : Theor. Comput. Sci.
External Link: https://doi.org/10.1016/S0304-3975(99)00048-1
01 September 1999
Venue : Theor. Comput. Sci.
External Link: https://doi.org/10.1016/S0304-3975(99)00048-1