Games and Full Completeness for Multiplicative Linear Logic (1994)

by Samson Abramsky , Radha Jagadeesan
Venue:JOURNAL OF SYMBOLIC LOGIC
Citations:209 - 26 self