7 search results - page 1 / 2 » Continuation Semantics for Symmetric Categorial Grammar |
WOLLIC
2007
Springer
14 years 3 months ago
2007
Springer
IANDC
2010
13 years 8 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
ER
2008
Springer
13 years 11 months ago
2008
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been successfully used to evaluate and improve the quality of conceptual mod...
WOLLIC
2007
Springer
14 years 3 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...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...