A categorial theory of objects as observed processes
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 203-228
- https://doi.org/10.1007/bfb0019445
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Logics of Modal Terms for Systems SpecificationJournal of Logic and Computation, 1990
- Abstract object types: A temporal perspectivePublished by Springer Nature ,1989
- Objects, object types, and object identificationPublished by Springer Nature ,1989
- Abstract object types for databasesPublished by Springer Nature ,1988
- Some fundamental algebraic tools for the semantics of computation: Part 1: Comma Categories, Colimits, Signatures and TheoriesTheoretical Computer Science, 1984
- The semantics of clear, a specification languagePublished by Springer Nature ,1980
- OBJECTSInternational Journal of General Systems, 1974
- Proof of correctness of data representationsActa Informatica, 1972
- The Tame Fundamental Group of a Formal Neighbourhood of a Divisor with Normal Crossings on a SchemeLecture Notes in Mathematics, 1971
- Sheaves with values in a categoryTopology, 1965