The Relevance of Semantic Subtyping (Q2842838): Difference between revisions

@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection and union types
@@ Property / cites work: Intersection and union types / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection and union types: Syntax and semantics
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Hyperformulae, Parallel Deductions and Intersection Types
+Normal rank
@@ Property / cites work @@
+Q3221961
@@ Property / cites work: Q3221961 / rank @@
+Normal rank
@@ Property / cites work @@
+The ``relevance'' of intersection and union types
@@ Property / cites work: The ``relevance'' of intersection and union types / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment omega
@@ Property / cites work: The semantics of entailment omega / rank @@
+Normal rank
@@ Property / cites work @@
+Curry's type-rules are complete with respect to the F-semantics too
+Normal rank
@@ Property / cites work @@
+Semantic subtyping
@@ Property / cites work: Semantic subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic type inference and containment
@@ Property / cites work: Polymorphic type inference and containment / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment. III
@@ Property / cites work: The semantics of entailment. III / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection Types as Logical Formulae
@@ Property / cites work: Intersection Types as Logical Formulae / rank @@
+Normal rank