Abramsky and Radha Jagadeesan. Games and full completeness for multiplicative linear logic (1994)

by Samson
Venue:Journal of Symbolic Logic