Categorical abstract data type (CADT)
S. K. Lellahi (1989)
Diagrammes
Similarity:
Displaying similar documents to “A category theory approach to conceptual data modeling”
Categorical abstract data type (CADT)
Deduction over graphs under constraints : a soundness and completeness theorem
Seyed-Kazem Lellahi, Nicolas Spyratos (1993)
Diagrammes
Similarity:
Final dialgebras : from categories to allegories
Roland Backhouse, Paul Hoogendijk (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
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:
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:
Foundations for stepwise refinement of program specifications via cylindric algebra theory
I. Néméti (1982)
Diagrammes
Similarity:
Executable specifications for data-type constructors
John W. Gray (1990)
Diagrammes
Similarity: