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