Final dialgebras : from categories to allegories
Roland Backhouse, Paul Hoogendijk (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Foundations for stepwise refinement of program specifications via cylindric algebra theory”
Final dialgebras : from categories to allegories
Compositional characterization of observable program properties
B. Steffen, C. Barry Jay, M. Mendler (1992)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
On the corresponding to bialgebras
Teimuraz Pirashvili (2002)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
CPO-models for second order lambda calculus with recursive types and subtyping
E. Poll, C. Hemerik, H. M. M. Ten Eikelder (1993)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
HSP subcategories of Eilenberg-Moore algebras.
Barr, Michael (2002)
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:
Categorical abstract data type (CADT)
S. K. Lellahi (1989)
Diagrammes
Similarity:
Dense morphisms of monads.
Karazeris, Panagis, Velebil, Jiří (2007)
Theory and Applications of Categories [electronic only]
Similarity: