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