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
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
517 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1353 Monads for functional programming – Philip Wadler - 1995
467 Comprehending Monads – Philip Wadler - 1992
32 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
393 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005