Abstract games for linear logic (1999)

by M Hyland, A Schalk
Venue:ENTCS