.:. Browse > List by subject > Computer Science and Game Theory .:.

7 documents ordered by : Date Title first author name document type Submit date

Least and greatest fixpoints in game semantics Clairambault P. In Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures - Foundations of Software Science and Computational Structures, United Kingdom (2009) [hal-00443537 - version 1]

Quantitative Game Semantics for Linear Logic Dal Lago U., Laurent O. In Computer Science Logic - Computer Science Logic, Italy (2008) [hal-00270933 - version 1]

Categorical Combinatorics for Innocent Strategies Harmer R., Hyland M., melliès P.-A. Dans Proceedings, 22nd Annual IEEE Symposium on Logic in Computer Science - Logic in Computer Science, France (2007) [hal-00150373 - version 1]

Cellular strategies and innocent interaction Harmer R. [hal-00150353 - version 1] (2007-05-30)

The anatomy of innocence revisited Harmer R., Laurent O. Dans Foundations of Software Technology and Theoretical Computer Science - (2006) [hal-00124569 - version 1]

An analysis of innocent interaction Harmer R. 2nd International Workshop on Games for Logic and Programming Languages (GALOP), États-Unis (2006) [hal-00150355 - version 1]

Affine strategies in arena games Harmer R. 1st International Workshop on Games for Logic and Programming Languages, United Kingdom (2005) [hal-00013015 - version 1]