Final dialgebras : from categories to allegories
Roland Backhouse, Paul Hoogendijk (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Compositional characterization of observable program properties”
Final dialgebras : from categories to allegories
Foundations for stepwise refinement of program specifications via cylindric algebra theory
I. Néméti (1982)
Diagrammes
Similarity:
Fibrations and recursivity
Richard Mijoule (1995)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Change of base for relational variable sets.
Niefield, Susan (2004)
Theory and Applications of Categories [electronic only]
Similarity:
A category theory approach to conceptual data modeling
E. Lippe, A. H. M. Ter Hofstede (1996)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
A -categorical approach to change of base and geometric morphisms I
A. Carboni, G. M. Kelly, R. J. Wood (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Functorial polymorphism and semantic parametricity
Philip J. Scott (1989)
Diagrammes
Similarity:
Direct limits and filtered colimits are strongly equivalent in all categories
H. Andréka, I. Németi (1982)
Banach Center Publications
Similarity: