The Girard-Reynolds isomorphism (Q1887154): Difference between revisions

@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Formal parametric polymorphism
@@ Property / cites work: Formal parametric polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to generalized type systems
@@ Property / cites work: Introduction to generalized type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial polymorphism
@@ Property / cites work: Functorial polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of typed \(\Lambda\)-programs on term algebras
+Normal rank
@@ Property / cites work @@
+Extensional models for polymorphism
@@ Property / cites work: Extensional models for polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610115
@@ Property / cites work: Q5610115 / 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 @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+Normal rank
@@ Property / cites work @@
+Q3477935
@@ Property / cites work: Q3477935 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive mathematics and computer programming
@@ Property / cites work: Constructive mathematics and computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786612
@@ Property / cites work: Q3786612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202989
@@ Property / cites work: Q3202989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281485
@@ Property / cites work: Q4281485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624680
@@ Property / cites work: Q5624680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216629
@@ Property / cites work: Q3216629 / rank @@
+Normal rank
@@ Property / cites work @@
+On functors expressible in the polymorphic typed lambda calculus
+Normal rank
@@ Property / cites work @@
+Fundamental concepts in programming languages
@@ Property / cites work: Fundamental concepts in programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837987
@@ Property / cites work: Q3837987 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714455
@@ Property / cites work: Q5714455 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1887154