Lambda-calculus with director strings (Q1778107): 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.1007/s00200-005-0169-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1974822280
@@ Property / OpenAlex ID: W1974822280 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+The bologna optimal higher-order machine
@@ Property / cites work: The bologna optimal higher-order machine / rank @@
+Normal rank
@@ Property / cites work @@
+Q5397484
@@ Property / cites work: Q5397484 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+λν, a calculus of explicit substitutions which preserves strong normalisation
+Normal rank
@@ Property / cites work @@
+Explicit substitution. On the edge of strong normalization
+Normal rank
@@ Property / cites work @@
+Confluence properties of weak and strong calculi of explicit substitutions
+Normal rank
@@ Property / cites work @@
+A λ-calculus with explicit weakening and explicit  substitution
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3857730
@@ Property / cites work: Q3857730 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimistic evaluation
@@ Property / cites work: Optimistic evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945227
@@ Property / cites work: Q4945227 / rank @@
+Normal rank
@@ Property / cites work @@
+A compiled implementation of strong reduction
@@ Property / cites work: A compiled implementation of strong reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Functional runtime systems within the lambda-sigma calculus
+Normal rank
@@ Property / cites work @@
+Director strings as combinators
@@ Property / cites work: Director strings as combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Optimality and inefficiency
@@ Property / cites work: Optimality and inefficiency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024846
@@ Property / cites work: Q3024846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259974
@@ Property / cites work: Q4259974 / rank @@
+Normal rank
@@ Property / cites work @@
+The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Q4447222
@@ Property / cites work: Q4447222 / rank @@
+Normal rank