games and linear logic (1992)

by F Lamarche, Sequentiality
Venue:Proc. CLiCS workshop, Aarhus University, DAIMI397-II