842 search results - page 33 / 169 » Linear logic |
107
Voted
CSL
2008
Springer
15 years 4 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...
116
Voted
DAC
2008
ACM
15 years 4 months ago
2008
ACM
68
Voted
ACL
1998
15 years 4 months ago
1998
59
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
