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

Cached

Download Links

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