Sciweavers

56
Voted
TLCA
1993
Springer

A Term Calculus for Intuitionistic Linear Logic

15 years 26 days ago
A Term Calculus for Intuitionistic Linear Logic
P. N. Benton, Gavin M. Bierman, Valeria de Paiva,
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1993
Where TLCA
Authors P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
Comments (0)