Pushout-complements and basic concepts of grammars in toposes
- 1 December 1990
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 77 (3) , 267-289
- https://doi.org/10.1016/0304-3975(90)90171-d
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Some fundamental algebraic tools for the semantics of computation: Part 1: Comma Categories, Colimits, Signatures and TheoriesTheoretical Computer Science, 1984
- Some fundamental algebraic tools for the semantics of computation: Part 2: Signed and abstract theoriesTheoretical Computer Science, 1984
- Pushout‐Properties: An analysis of gluing constructions for graphsMathematische Nachrichten, 1979
- Korrespondenzen in abelschen KategorienMathematische Annalen, 1962