Intersection types for explicit substitutions (Q1887145): 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/j.ic.2003.09.004
+Normal rank
@@ Property / OpenAlex ID @@
+W1993809637
@@ Property / OpenAlex ID: W1993809637 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete restrictions of the intersection type discipline
+Normal rank
@@ Property / cites work @@
+Intersection type assignment systems
@@ Property / cites work: Intersection type assignment systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3044339
@@ Property / cites work: Q3044339 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+λν, a calculus of explicit substitutions which preserves strong normalisation
+Normal rank
@@ Property / cites work @@
+Q4357055
@@ Property / cites work: Q4357055 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitution. On the edge of strong normalization
+Normal rank
@@ Property / cites work @@
+Q3857730
@@ Property / cites work: Q3857730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997125
@@ Property / cites work: Q3997125 / 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 @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536366
@@ Property / cites work: Q4536366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778819
@@ Property / cites work: Q2778819 / rank @@
+Normal rank
@@ Property / cites work @@
+Reductions, intersection types, and explicit substitutions
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing untyped \(\lambda\)-terms, or reducibility strikes again!
+Normal rank
@@ Property / cites work @@
+Strong normalization and typability with intersection types
+Normal rank
@@ Property / cites work @@
+Explicit Substitutions and Reducibility
@@ Property / cites work: Explicit Substitutions and Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Extending a λ-calculus with explicit substitution  which preserves strong normalisation into a confluent calculus on  open terms
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274979
@@ Property / cites work: Q4274979 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing and computational properties of lambda expressions
+Normal rank
@@ Property / cites work @@
+Q3024846
@@ Property / cites work: Q3024846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263879
@@ Property / cites work: Q4263879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4380997
@@ Property / cites work: Q4380997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4163188
@@ Property / cites work: Q4163188 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank