650 search results - page 11 / 130 » On Coalgebras over Algebras |
ACS
2008
13 years 7 months ago
2008
We study the various categories of corings, coalgebras, and comodules from a categorical perspective. Emphesis is given to the question which properties of these categories can be...
IANDC
2006
13 years 7 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
IANDC
2010
13 years 6 months ago
2010
We give two generic proofs for cut elimination in propositional modal logics, interpreted over coalgebras. We first investigate semantic coherence conditions between the axiomati...
JLP
2007
13 years 7 months ago
2007
This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the...
TLCA
1993
Springer
13 years 11 months ago
1993
Springer
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with recursion and arithmetic, our logic is a logic for Sys...