Light Linear Logic. (1998)

by Jean-Yves Girard
Venue:Information and Computation