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:
Displaying similar documents to “Final dialgebras : from categories to allegories”
Compositional characterization of observable program properties
Foundations for stepwise refinement of program specifications via cylindric algebra theory
I. Néméti (1982)
Diagrammes
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:
An Introduction to Adjunction
Kosta Došen (1998)
Zbornik Radova
Similarity:
Functorial polymorphism and semantic parametricity
Philip J. Scott (1989)
Diagrammes
Similarity:
Limits in categories and limit-preserving functors
Věra Trnková (1966)
Commentationes Mathematicae Universitatis Carolinae
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: