and Valeria de Paiva. Full intuitionistic linear logic. Unpublished manuscript (1992)

by Martin Hyland