Classical By-Need (Q2802497): Difference between revisions

@@ 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/978-3-662-49498-1_24
+Normal rank
@@ Property / OpenAlex ID @@
+W2498111426
@@ Property / OpenAlex ID: W2498111426 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Distilling abstract machines
@@ Property / cites work: Distilling abstract machines / rank @@
+Normal rank
@@ Property / cites work @@
+A nonstandard standardization theorem
@@ Property / cites work: A nonstandard standardization theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The Structural λ-Calculus
@@ Property / cites work: The Structural λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The Permutative λ-Calculus
@@ Property / cites work: The Permutative λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+(Leftmost-Outermost) Beta Reduction is Invariant, Indeed
+Normal rank
@@ Property / cites work @@
+Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts
+Normal rank
@@ Property / cites work @@
+The call-by-need lambda calculus
@@ Property / cites work: The call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Classical Call-by-Need and Duality
@@ Property / cites work: Classical Call-by-Need and Duality / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+The Call-by-Need Lambda Calculus, Revisited
@@ Property / cites work: The Call-by-Need Lambda Calculus, Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Defunctionalized Interpreters for Call-by-Need Evaluation
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+A call-by-name lambda-calculus machine
@@ Property / cites work: A call-by-name lambda-calculus machine / rank @@
+Normal rank
@@ Property / cites work @@
+The call-by-need lambda calculus
@@ Property / cites work: The call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+An equivalence between lambda- terms
@@ Property / cites work: An equivalence between lambda- terms / rank @@
+Normal rank
@@ Property / cites work @@
+Classical logic, continuation semantics and abstract machines
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2802497