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
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 ...
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
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
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
WOLLIC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
WOLLIC
2007
Springer
14 years 1 months ago
2007
Springer
