Equational type logic
- 7 December 1990
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 77 (1-2) , 131-159
- https://doi.org/10.1016/0304-3975(90)90118-2
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errorsTheoretical Computer Science, 1986
- Conditional rewrite rules: Confluence and terminationJournal of Computer and System Sciences, 1986
- Partial abstract typesActa Informatica, 1982
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970
- Algebras with a Scheme of OperatorsMathematische Nachrichten, 1963