Foundations for stepwise refinement of program specifications via cylindric algebra theory
I. Néméti (1982)
Diagrammes
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: