A Term Calculus for Intuitionistic Linear Logic.
A Term Calculus for Intuitionistic Linear Logic.
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
01 September 1993
Venue : TLCA
External Link: https://doi.org/10.1007/BFb0037099
01 September 1993
Venue : TLCA
External Link: https://doi.org/10.1007/BFb0037099