A Note on Full Intuitionistic Linear Logic.
A Note on Full Intuitionistic Linear Logic.
Gavin M. Bierman
01 September 1996
Venue : Ann. Pure Appl. Log.
External Link: https://doi.org/10.1016/0168-0072(96)00004-8
01 September 1996
Venue : Ann. Pure Appl. Log.
External Link: https://doi.org/10.1016/0168-0072(96)00004-8