Linear Logic (abstract (1992)

by Games Sequentiality
Venue:Proceedings of the CLICS Workshop