Linear foundations of game semantics, a typescript (1996)

by R Harmer, P Malacaria