A game semantics for linear logic (1992)

by A Blass
Venue:Annals of Pure and Applied Logic