Substitution up to isomorphism
P.-L. Curien (1990)
Diagrammes
Similarity:
Displaying similar documents to “Functorial polymorphism and semantic parametricity”
Substitution up to isomorphism
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:
Fibrations and recursivity
Richard Mijoule (1995)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Algebraic aspects of topos theory
J. Lambek, P. J. Scott (1981)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
On a Foundation for Mathematics- a View of Mathematics I
Milan Đurić (1977)
Zbornik Radova
Similarity: