A Complete Calculus for Equational Deduction in Coalgebraic Specification (1997)

View PDF

Download Links

by Andrea Corradini , Andrea Corradini
Venue:Recent Trends in Algebraic Development Techniques, WADT 97, volume 1376 of LNCS
Citations:19 - 0 self

Active Bibliography

A Complete Calculus for Equational Deduction in – A. Corradini, Coalgebraic Speci Cation, Andrea Corradini - 1997
325 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
1353 Monads for functional programming – Philip Wadler - 1995
467 Comprehending Monads – Philip Wadler - 1992
393 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
6 Object-Oriented Specification of Distributed Systems in the ยต-Calculus and Maude – Ulrike Lechner - 1997
Observational Truth as a Categorical Modality – unknown authors
82 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
35 Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools – Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews - 1998