Higher-order subtyping (Q1392282): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance as implicit coercion
@@ Property / cites work: Inheritance as implicit coercion / rank @@
+Normal rank
@@ Property / cites work @@
+A modest model of records, inheritance, and bounded quantification
+Normal rank
@@ Property / cites work @@
+A semantics of multiple inheritance
@@ Property / cites work: A semantics of multiple inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of system \(F\) with subtyping
@@ Property / cites work: An extension of system \(F\) with subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474829
@@ Property / cites work: Q4474829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837264
@@ Property / cites work: Q3837264 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855348
@@ Property / cites work: Q4855348 / rank @@
+Normal rank
@@ Property / cites work @@
+A new type assignment for λ-terms
@@ Property / cites work: A new type assignment for λ-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping + extensionality: Confluence of βηtop reduction in F≤
+Normal rank
@@ Property / cites work @@
+Coherence of subsumption, minimum typing and type-checking in F ≤
+Normal rank
@@ Property / cites work @@
+Q4281471
@@ Property / cites work: Q4281471 / rank @@
+Normal rank
@@ Property / cites work @@
+Divergence of \(F_{\leq}\) type checking
@@ Property / cites work: Divergence of \(F_{\leq}\) type checking / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded existentials and minimal typing
@@ Property / cites work: Bounded existentials and minimal typing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301602
@@ Property / cites work: Q4301602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997125
@@ Property / cites work: Q3997125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281484
@@ Property / cites work: Q4281484 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded quantification is undecidable
@@ Property / cites work: Bounded quantification is undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501161
@@ Property / cites work: Q4501161 / rank @@
+Normal rank