12 search results - page 2 / 3 » wollic 2007 |
WOLLIC
2007
Springer
14 years 1 months ago
2007
Springer
WOLLIC
2007
Springer
14 years 1 months ago
2007
Springer
WOLLIC
2007
Springer
14 years 1 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 ...
WOLLIC
2007
Springer
14 years 1 months ago
2007
Springer
Hydra games were introduced by Kirby and Paris, for the formulation of a result which is independent from Peano arithmetic but depends on the transfinite structure of 0. Tree ordi...
WOLLIC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract: The aim of this work is to analyze the relationship between interval QL-implications and interval D-implications, studying some properties that relate these concepts. We ...