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

Document Versions

A Complete Calculus for Equational Deduction in Coalgebraic Specification –Andrea Corradini, Andrea Corradini — 1997 — Recent Trends in Algebraic Development Techniques, WADT 97, volume 1376 of LNCS