scientific article
From MaRDI portal
zbMath0552.68011MaRDI QIDQ3345749
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories, Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations