Functorial polymorphism and semantic parametricity
Philip J. Scott (1989)
Diagrammes
Similarity:
Displaying similar documents to “CPO-models for second order lambda calculus with recursive types and subtyping”
Functorial polymorphism and semantic parametricity
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:
Foundations for stepwise refinement of program specifications via cylindric algebra theory
I. Néméti (1982)
Diagrammes
Similarity:
Nondeterminism and fully abstract models
Egidio Astesiano, Gerardo Costa (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Fibrations and recursivity
Richard Mijoule (1995)
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:
Algebraic definition of a functional programming language and its semantic models
Manfred Broy, Martin Wirsing (1983)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: