Games Semantics for Linear Logic (1991)

by Yves Lafont, Thomas Streicher
Venue:In LICS