Data Types as Lattices
- 1 September 1976
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 5 (3) , 522-587
- https://doi.org/10.1137/0205037
Abstract
No abstract availableKeywords
This publication has 70 references indexed in Scilit:
- The algebraic theory of recursive program schemesPublished by Springer Nature ,1975
- Fuzzy morphishms in automata theoryPublished by Springer Nature ,1975
- Categorical theory of tree processingPublished by Springer Nature ,1975
- A Categorist's view of automata and systemsPublished by Springer Nature ,1975
- Basic concepts of category theory applicable to computation and controlPublished by Springer Nature ,1975
- Generalized Program SchemasPublished by Springer Nature ,1974
- Equational languagesInformation and Control, 1972
- Enumeration reducibility and partial degreesAnnals of Mathematical Logic, 1971
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969
- Semantics of Programming LanguagesPublished by Springer Nature ,1969