Strong normalization for non-structural subtyping via saturated sets (Q1351999): Difference between revisions

@@ 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 / full work available at URL @@
+https://doi.org/10.1016/0020-0190(96)00056-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1970921004
@@ Property / OpenAlex ID: W1970921004 / 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 @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves
+Normal rank
@@ Property / cites work @@
+Termination of system \(F\)-bounded: A complete proof
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281473
@@ Property / cites work: Q4281473 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient inference of partial types
@@ Property / cites work: Efficient inference of partial types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274979
@@ Property / cites work: Q4274979 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of strong normalization for \(F_ 2\), \(F_ \omega\), and beyond
+Normal rank
@@ Property / cites work @@
+Polymorphic type inference and containment
@@ Property / cites work: Polymorphic type inference and containment / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference with simple subtypes
@@ Property / cites work: Type inference with simple subtypes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525289
@@ Property / cites work: Q4525289 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference with non-structural subtyping
@@ Property / cites work: Type inference with non-structural subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms have partial types
@@ Property / cites work: Normal forms have partial types / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Godel's interpretation of intuitionism
@@ Property / cites work: Godel's interpretation of intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3793704
@@ Property / cites work: Q3793704 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete restrictions of the intersection type discipline
+Normal rank
@@ Property / cites work @@
+Strong normalization with non-structural subtyping
+Normal rank