285 search results - page 24 / 57 » Game Semantics and Subtyping |
131
click to vote
CSL
2008
Springer
15 years 7 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
157
click to vote
FQAS
2004
Springer
15 years 11 months ago
2004
Springer
In: Proceedings of the Sixth International Conference On Flexible Query Answering Systems (FQAS-04), Springer-Verlag LNAI 3055, pp. 203-216. c 2004 by Springer-Verlag. To model qu...
101
Voted
FOSSACS
2009
Springer
16 years 9 days ago
2009
Springer
87
Voted
APAL
2008
15 years 5 months ago
2008
