3238 search results - page 9 / 648 » On the Computational Interpretation of Negation |
ACL
2011
14 years 1 months ago
2011
81
Voted
RTA
2010
Springer
14 years 7 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and...
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
WOLLIC
2007
Springer
15 years 3 months ago
2007
Springer
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
GRC
2010
IEEE
14 years 10 months ago
2010
IEEE