Substitution up to isomorphism
P.-L. Curien (1990)
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 “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: