Term Assignment for Intuitionistic Linear Logic (1992)

by Nick Benton, Gavin Bierman, Valeria Paiva, Martin Hyland