Generalized heterogeneous algebras and partial interpretations
- 1 January 1983
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Abstract data types as lattices of finitely generated modelsPublished by Springer Nature ,2005
- Partial abstract typesActa Informatica, 1982
- On the algebraic extensions of abstract data typesLecture Notes in Computer Science, 1981
- Programming languages as mathematical objectsLecture Notes in Computer Science, 1978
- 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