Substitution up to isomorphism
P.-L. Curien (1990)
Diagrammes
Similarity:
Displaying similar documents to “Executable specifications for data-type constructors”
Substitution up to isomorphism
Encoding fix in object calculi
Roy L. Crole (2000)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
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:
Deduction over graphs under constraints : a soundness and completeness theorem
Seyed-Kazem Lellahi, Nicolas Spyratos (1993)
Diagrammes
Similarity:
Categorical abstract data type (CADT)
S. K. Lellahi (1989)
Diagrammes
Similarity:
Retrieving library functions by unifying types modulo linear isomorphism
M. Rittri (1993)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Final dialgebras : from categories to allegories
Roland Backhouse, Paul Hoogendijk (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: