Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations (1992)

Cached

Download Links

by Joseph A. Goguen
Venue:Theoretical Computer Science
Citations:208 - 33 self

Document Versions

Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations –Joseph A. Goguen — 1992 — Theoretical Computer Science