Bifibrational functorial semantics of parametric polymorphism (Q5971398): Difference between revisions

@@ Property / cites work @@
+State-dependent representation independence
@@ Property / cites work: State-dependent representation independence / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial polymorphism
@@ Property / cites work: Functorial polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q2968413
@@ Property / cites work: Q2968413 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical models for Abadi and Plotkin's logic for parametricity
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of typed \(\Lambda\)-programs on term algebras
+Normal rank
@@ Property / cites work @@
+The impact of higher-order state and control effects on local relational reasoning
+Normal rank
@@ Property / cites work @@
+Constructive complete distributivity. I
@@ Property / cites work: Constructive complete distributivity. I / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric Polymorphism — Universally
@@ Property / cites work: Parametric Polymorphism — Universally / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical data types in parametric polymorphism
@@ Property / cites work: Categorical data types in parametric polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
+Normal rank
@@ Property / cites work @@
+A kripke logical relation between ML and assembly
@@ Property / cites work: A kripke logical relation between ML and assembly / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive natural deduction and its ‘ω-set’ interpretation
+Normal rank
@@ Property / cites work @@
+Q4283246
@@ Property / cites work: Q4283246 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity and local variables
@@ Property / cites work: Parametricity and local variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786612
@@ Property / cites work: Q3786612 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281485
@@ Property / cites work: Q4281485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216629
@@ Property / cites work: Q3216629 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity as isomorphism
@@ Property / cites work: Parametricity as isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical semantics for higher order polymorphic lambda calculus
+Normal rank
@@ Property / cites work @@
+Fundamental concepts in programming languages
@@ Property / cites work: Fundamental concepts in programming languages / rank @@
+Normal rank