The spirit of node replication
From MaRDI portal
Publication:2233421
DOI10.1007/978-3-030-71995-1_18OpenAlexW3137817519MaRDI QIDQ2233421
Loïc Peyrot, Delia Kesner, Daniel Lima Ventura
Publication date: 18 October 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-71995-1_18
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- A prismoid framework for languages with resources
- Resource operators for \(\lambda\)-calculus
- Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Call-by-name, call-by-value, call-by-need and the linear lambda calculus
- Proof nets and the linear substitution calculus
- Call-by-need, neededness and all that
- The bang calculus revisited
- Spinal atomic \(\lambda\)-calculus
- Reasoning About Call-by-need by Means of Types
- Distilling abstract machines
- A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus
- The Call-by-Need Lambda Calculus, Revisited
- A unified approach to fully lazy sharing
- A compiled implementation of strong reduction
- Bottom-up β-reduction: Uplinks and λ-DAGs
- Quantitative Types for the Linear Substitution Calculus
- A new type assignment for λ-terms
- A Theory of Explicit Substitutions with Safe and Full Composition
- The Structural λ-Calculus
- The Theory of Calculi with Explicit Substitutions Revisited
- The call-by-need lambda calculus
- The call-by-need lambda calculus
- A linearization of the Lambda-calculus and consequences
- Non-idempotent intersection types for the Lambda-Calculus
- Term Rewriting and All That
- Proof nets and explicit substitutions
- Explicit substitutions
- Weak optimality, and the meaning of sharing
- Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing
- A Proof Calculus Which Reduces Syntactic Bureaucracy
- A nonstandard standardization theorem
- A Semantical and Operational Account of Call-by-Value Solvability
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Automated Deduction – CADE-19
- On phase semantics and denotational semantics: The exponentials
This page was built for publication: The spirit of node replication
