126
click to vote
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...