Strong normalization through intersection types and memory (Q1744407): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2016.06.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2464954612
@@ Property / OpenAlex ID: W2464954612 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317683
@@ Property / Wikidata QID: Q113317683 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Q3077958
@@ Property / cites work: Q3077958 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types
+Normal rank
@@ Property / cites work @@
+Non-idempotent intersection types and strong normalisation
+Normal rank
@@ Property / cites work @@
+A semantics for lambda calculi with resources
@@ Property / cites work: A semantics for lambda calculi with resources / rank @@
+Normal rank
@@ Property / cites work @@
+Not Enough Points Is Enough
@@ Property / cites work: Not Enough Points Is Enough / rank @@
+Normal rank
@@ Property / cites work @@
+The Inhabitation Problem for Non-idempotent Intersection Types
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Functional Characters of Solvable Terms
@@ Property / cites work: Functional Characters of Solvable Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4993853
@@ Property / cites work: Q4993853 / rank @@
+Normal rank
@@ Property / cites work @@
+Linearization of the lambda-calculus and its relation with intersection type systems
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Types for the Linear Substitution Calculus
+Normal rank
@@ Property / cites work @@
+A Resource Aware Computational Interpretation for Herbelin’s Syntax
+Normal rank
@@ Property / cites work @@
+Principality and type inference for intersection types using expansion variables
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274979
@@ Property / cites work: Q4274979 / rank @@
+Normal rank
@@ Property / cites work @@
+THEORETICAL PEARLS: A bargain for intersection types: a simple strong normalization proof
+Normal rank
@@ Property / cites work @@
+An equivalence between lambda- terms
@@ Property / cites work: An equivalence between lambda- terms / rank @@
+Normal rank
@@ Property / cites work @@
+Principal type scheme and unification for intersection type discipline
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+The emptiness problem for intersection types
@@ Property / cites work: The emptiness problem for intersection types / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary proof of strong normalization for intersection types
+Normal rank
@@ Property / cites work @@
+Complete restrictions of the intersection type discipline
+Normal rank
@@ Property / cites work @@
+Strict intersection types for the Lambda Calculus
@@ Property / cites work: Strict intersection types for the Lambda Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737219
@@ Property / cites work: Q4737219 / rank @@
+Normal rank