884 search results - page 38 / 177 » The Linear Logic of Multisets |
TLCA
1993
Springer
14 years 1 months ago
1993
Springer
LICS
1992
IEEE
14 years 1 months ago
1992
IEEE
FOCS
1990
IEEE
14 years 1 months ago
1990
IEEE
CSL
2006
Springer
13 years 11 months ago
2006
Springer
CSL
2008
Springer
13 years 10 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...