Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations (1992)
by
Joseph A. Goguen
| Venue: | Theoretical Computer Science |
| Citations: | 202 - 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 |
