Abstract Games for Linear Logic (1999)

by M Hyland, A Schalk
Venue:Electronic Notes in Theoretical Computer Science