Generalized heterogeneous algebras and partial interpretations
Authors:
- 1 January 1983
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 1-34
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Partial abstract typesActa Informatica, 1982
- On the algebraic extensions of abstract data typesLecture Notes in Computer Science, 1981
- Programming languages as mathematical objects1978
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970