A parallel game semantics for Linear Log
โ
Stefano Baratella; Stefano Berardi
๐
Article
๐
1997
๐
Springer
๐
English
โ 250 KB