7 search results - page 2 / 2 » Categorial grammar, modalities and algebraic semantics |
182
Voted
POPL
2006
ACM
15 years 12 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
112
Voted
LOGCOM
2007
14 years 11 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...