Sciweavers

CALCO
2011
Springer
223views Mathematics» more  CALCO 2011»
12 years 11 months ago
On the Statistical Thermodynamics of Reversible Communicating Processes
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...
Giorgio Bacci, Vincent Danos, Ohad Kammar
CALCO
2011
Springer
205views Mathematics» more  CALCO 2011»
12 years 11 months ago
Bases as Coalgebras
Abstract. The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of thi...
Bart Jacobs
CALCO
2011
Springer
214views Mathematics» more  CALCO 2011»
12 years 11 months ago
Indexed Induction and Coinduction, Fibrationally
This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we pr...
Clément Fumex, Neil Ghani, Patricia Johann
CALCO
2011
Springer
235views Mathematics» more  CALCO 2011»
12 years 11 months ago
On the Fusion of Coalgebraic Logics
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
Fredrik Dahlqvist, Dirk Pattinson
CALCO
2011
Springer
225views Mathematics» more  CALCO 2011»
12 years 11 months ago
Linearly-Used State in Models of Call-by-Value
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
Rasmus Ejlers Møgelberg, Sam Staton