Full intuitionistic linear logic (1993)

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