A typed lambda calculus with intersection types (Q930870): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2008.01.046
@@ Property / DOI: 10.1016/j.tcs.2008.01.046 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Forsythe
@@ Property / describes a project that uses: Forsythe / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2105663497
@@ Property / OpenAlex ID: W2105663497 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035227
@@ Property / cites work: Q4035227 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection types and lambda models
@@ Property / cites work: Intersection types and lambda models / rank @@
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Intersection types for lambda-terms and combinators and their logics
+Normal rank
@@ Property / cites work @@
+Hyperformulae, Parallel Deductions and Intersection Types
+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 @@
+Q4198724
@@ Property / cites work: Q4198724 / rank @@
+Normal rank
@@ Property / cites work @@
+The Relevance of Semantic Subtyping
@@ Property / cites work: The Relevance of Semantic Subtyping / 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 @@
+Semantic subtyping
@@ Property / cites work: Semantic subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4346206
@@ Property / cites work: Q4346206 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection-types à la Church
@@ Property / cites work: Intersection-types à la Church / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723730
@@ Property / cites work: Q4723730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4103076
@@ Property / cites work: Q4103076 / 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 @@
+Q4281484
@@ Property / cites work: Q4281484 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection Typed λ-calculus
@@ Property / cites work: Intersection Typed λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783322
@@ Property / cites work: Q4783322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Type reconstruction in F<sub>ω</sub>
@@ Property / cites work: Type reconstruction in F<sub>ω</sub> / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection type assignment systems
@@ Property / cites work: Intersection type assignment systems / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-elimination in the strict intersection type assignment system is strongly normalizing
+Normal rank
@@ Property / cites work @@
+Intersection Types as Logical Formulae
@@ Property / cites work: Intersection Types as Logical Formulae / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly typed flow-directed representation transformations (extended abstract)
+Normal rank
@@ Property / cites work @@
+Q4738350
@@ Property / cites work: Q4738350 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2008.01.046
@@ Property / DOI: 10.1016/J.TCS.2008.01.046 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:930870