Foundations for stepwise refinement of program specifications via cylindric algebra theory
I. Néméti (1982)
Diagrammes
Similarity:
Displaying similar documents to “Good functors... are those preserving philosophy !”
Foundations for stepwise refinement of program specifications via cylindric algebra theory
A theory of software reusability
M. C. Gaudel, Th. Moineau (1990)
Diagrammes
Similarity:
Categorical abstract data type (CADT)
S. K. Lellahi (1989)
Diagrammes
Similarity:
On contravariant functors from the category of preschemes over a field into the category of abelian groups
Jaap P. Murre (1964)
Publications Mathématiques de l'IHÉS
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:
When is a cogenerator in a topos ?
Francis Borceux (1975)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Fibrations and recursivity
Richard Mijoule (1995)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: