Games and full completeness for multiplicative linear logic (1992)

by S Abramsky, R Jagadeesan
Venue:Imperial College