Sciweavers

TCS
2008

A type assignment system for game semantics

14 years 10 days ago
A type assignment system for game semantics
Pietro Di Gianantonio, Furio Honsell, Marina Lenis
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TCS
Authors Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
Comments (0)