Finitary construction of free algebras for equational systems (2008)

by Marcelo Fiore , Chung-kil Hur
Citations:1 - 0 self

Active Bibliography

5 On the construction of free algebras for equational systems – Marcelo Fiore, Chung-Kil Hur - 2009
1 Equational Systems and Free Constructions (Extended Abstract) – Marcelo Fiore, Chung-kil Hur
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
Presheaf models for the π-calculus – Ian Stark - 1997
1 Dualizing Initial Algebras – Neil Ghani, Christoph Lüth, Federico de Marchi, John Power - 2002
2 Term Equational Systems and Logics (Extended Abstract) – Marcelo Fiore, Chung-kil Hur
MFPS 25 Preliminary Proceedings Two cotensors in one: Presentations of algebraic theories for local state and fresh names – Sam Staton
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
Algebraic Meta-Theories and . . . – Marcelo Fiore
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
6 Algebras, Coalgebras, Monads and Comonads – Neil Ghani, Christoph Lüth, Federico De Marchi, John Power - 2001
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
5 Generic Models for Computational Effects – John Power
4 Completeness for algebraic theories of local state – Sam Staton
1 Free models of T-algebraic theories computed as Kan extensions – Paul-andré Melliès, Nicolas Tabareau
ON THE MATHEMATICAL SYNTHESIS OF EQUATIONAL LOGICS – Marcelo Fiore, Chung-kil Hur
7 The category theoretic solution of recursive program schemes – Stefan Milius, Lawrence, S. Moss - 2006
23 Domain theory for concurrency – Mikkel Nygaard - 2003
2 Some Varieties of Equational Logic (Extended Abstract), Algebra – Gordon Plotkin - 2006