137 search results - page 1 / 28 » Proofnets and Context Semantics for the Additives |
CSL
2002
Springer
13 years 4 months ago
2002
Springer
ENTCS
2007
13 years 4 months ago
2007
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
CONTEXT
2007
Springer
13 years 11 months ago
2007
Springer
Latent Semantic Analysis is used in many research fields with several applications of classifications. We propose to improve LSA with additional semantic information found with s...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a "topological" game for Multiplicative Additive Linear Logic ...