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.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: