Encoding fix in object calculi
Roy L. Crole (2000)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Roy L. Crole (2000)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Philip J. Scott (1989)
Diagrammes
Similarity:
John W. Gray (1990)
Diagrammes
Similarity:
B. Hilken, D. E. Rydeheard (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Roland Backhouse, Paul Hoogendijk (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
I. Néméti (1982)
Diagrammes
Similarity:
E. Poll, C. Hemerik, H. M. M. Ten Eikelder (1993)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: