The bang calculus revisited
From MaRDI portal
Publication:6116183
DOI10.1016/j.ic.2023.105047OpenAlexW3005276799MaRDI QIDQ6116183
Alejandro Ríos, Antonio Bucciarelli, Delia Kesner, Andrés Viso
Publication date: 17 July 2023
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2023.105047
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A semantic account of strong normalization in linear logic
- A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization
- A semantic measure of the execution time in linear logic
- Linear logic
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Call-by-push-value: Decomposing call-by-value and call-by-name
- Uniformity and the Taylor expansion of ordinary lambda-terms
- Normal functors, power series and \(\lambda\)-calculus
- An extension of basic functionality theory for \(\lambda\)-calculus
- An equivalence between lambda- terms
- Call-by-name, call-by-value, call-by-need and the linear lambda calculus
- The bang calculus revisited
- Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings
- Call-By-Push-Value from a Linear Logic Point of View
- Reasoning About Call-by-need by Means of Types
- Non-idempotent intersection types and strong normalisation
- Call-by-Value Solvability, Revisited
- Open Call-by-Value
- Quantitative Types for the Linear Substitution Calculus
- Solvability in Resource Lambda-Calculus
- The Structural λ-Calculus
- Functional Characters of Solvable Terms
- Reductions of Residuals are Finite
- Execution time of λ-terms via denotational semantics and intersection types
- Non-idempotent intersection types for the Lambda-Calculus
- Consuming and Persistent Types for Classical Logic
- The Relational Model Is Injective for Multiplicative Exponential Linear Logic
- A Semantical and Operational Account of Call-by-Value Solvability
- Taylor expansion for Call-By-Push-Value
- On phase semantics and denotational semantics: The exponentials
- Types of fireballs
This page was built for publication: The bang calculus revisited
