The bang calculus revisited
type: Item
instance of: scholarly article
title: The bang calculus revisited
DOI: 10.1007/978-3-030-59025-3_2
author: Antonio Bucciarelli
author: Delia Kesner
author: A. Ríos
author: Andrés Viso
publication date: 2021-07-06T00:00:00Z
full work available at URL: https://arxiv.org/abs/2002.04011
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 7368082
MaRDI profile type: Publication
OpenAlex ID: W3090972609
cites work: Tight typings and split bounds, fully developed
cites work: Open Call-by-Value
cites work: Types of fireballs
cites work: Types by need
cites work: The Structural λ-Calculus
cites work: Call-by-Value Solvability, Revisited
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization
cites work: Non-idempotent intersection types and strong normalisation
cites work: Q4799892
cites work: On phase semantics and denotational semantics: The exponentials
cites work: Non-idempotent intersection types for the Lambda-Calculus
cites work: A Semantical and Operational Account of Call-by-Value Solvability
cites work: Taylor expansion for Call-By-Push-Value
cites work: A new type assignment for λ-terms
cites work: An extension of basic functionality theory for \(\lambda\)-calculus
cites work: The Relational Model Is Injective for Multiplicative Exponential Linear Logic
cites work: Execution time of λ-terms via denotational semantics and intersection types
cites work: A semantic account of strong normalization in linear logic
cites work: A semantic measure of the execution time in linear logic
cites work: Q4649551
cites work: Call-By-Push-Value from a Linear Logic Point of View
cites work: Uniformity and the Taylor expansion of ordinary lambda-terms
cites work: Q4490749
cites work: Linear logic
cites work: Normal functors, power series and \(\lambda\)-calculus
cites work: Q5076060
cites work: Q5018484
cites work: Q5369485
cites work: Reasoning About Call-by-need by Means of Types
cites work: Quantitative Types for the Linear Substitution Calculus
cites work: Q5111320
cites work: Q4829806
cites work: Call-by-push-value: Decomposing call-by-value and call-by-name
cites work: Call-by-name, call-by-value, call-by-need and the linear lambda calculus
cites work: Solvability in Resource Lambda-Calculus
cites work: An equivalence between lambda- terms
cites work: Q5089020
description: scientific article; zbMATH DE number 7368082