A Categorist's view of automata and systems
- 1 January 1975
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Machines in a Category: An Expository IntroductionSIAM Review, 1974
- An unusual application of program-provingPublished by Association for Computing Machinery (ACM) ,1973
- Minimal realization of machines in closed categoriesBulletin of the American Mathematical Society, 1972
- Symposium on Semantics of Algorithmic LanguagesPublished by Springer Nature ,1971
- Monads on symmetric monoidal closed categoriesArchiv der Mathematik, 1970
- Generalized2 sequential machine mapsJournal of Computer and System Sciences, 1970
- Coequalizers and free triplesMathematische Zeitschrift, 1970
- Kan extensions in Enriched Category TheoryLecture Notes in Mathematics, 1970
- Deductive systems and categoriesTheory of Computing Systems, 1968
- L-fuzzy setsJournal of Mathematical Analysis and Applications, 1967