A prismoid framework for languages with resources (Q654907): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.01.026
+Normal rank
@@ Property / OpenAlex ID @@
+W2153961574
@@ Property / OpenAlex ID: W2153961574 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5397484
@@ Property / cites work: Q5397484 / rank @@
+Normal rank
@@ Property / cites work @@
+Jumping Boxes
@@ Property / cites work: Jumping Boxes / rank @@
+Normal rank
@@ Property / cites work @@
+The Structural λ-Calculus
@@ Property / cites work: The Structural λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4912847
@@ Property / cites work: Q4912847 / 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 @@
+Q3793765
@@ Property / cites work: Q3793765 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets and explicit substitutions
@@ Property / cites work: Proof nets and explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+A λ-calculus with explicit weakening and explicit  substitution
+Normal rank
@@ Property / cites work @@
+Lambda-calculus with director strings
@@ Property / cites work: Lambda-calculus with director strings / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Calculi with Explicit Substitutions Revisited
+Normal rank
@@ Property / cites work @@
+Perpetuality for Full and Safe Composition (in a Constructive Setting)
+Normal rank
@@ Property / cites work @@
+Q4501151
@@ Property / cites work: Q4501151 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource operators for \(\lambda\)-calculus
@@ Property / cites work: Resource operators for \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Automath and Pure Type Systems
@@ Property / cites work: Automath and Pure Type Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+Explicit Substitutions à la de Bruijn
@@ Property / cites work: Explicit Substitutions à la de Bruijn / rank @@
+Normal rank
@@ Property / cites work @@
+The Prismoid of Resources
@@ Property / cites work: The Prismoid of Resources / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024846
@@ Property / cites work: Q3024846 / rank @@
+Normal rank
@@ Property / cites work @@
+Local Bigraphs and Confluence: Two Conjectures
@@ Property / cites work: Local Bigraphs and Confluence: Two Conjectures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501161
@@ Property / cites work: Q4501161 / rank @@
+Normal rank