V de Paiva: Full intuitionistic linear logic (1993)

by J M E Hyland, V C
Venue:Annals of Pure and Applied Logic, 64,3