Linear Logic Displayed”. Notre Dame (1990)

by NUEL D BELNAP
Venue:Journal of Formal Logic