games and linear logic (1992)

by Sequentiality
Venue:In Proceedings, CLICS workshop, Aarhus University. DAIMI-397–II