The bang calculus revisited (Q6116183): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2023.105047
@@ Property / DOI: 10.1016/j.ic.2023.105047 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2023.105047
+Normal rank
@@ Property / OpenAlex ID @@
+W3005276799
@@ Property / OpenAlex ID: W3005276799 / rank @@
+Normal rank
@@ Property / cites work @@
+Open Call-by-Value
@@ Property / cites work: Open Call-by-Value / rank @@
+Normal rank
@@ Property / cites work @@
+Types of fireballs
@@ Property / cites work: Types of fireballs / rank @@
+Normal rank
@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+The Structural λ-Calculus
@@ Property / cites work: The Structural λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-Value Solvability, Revisited
@@ Property / cites work: Call-by-Value Solvability, Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization
+Normal rank
@@ Property / cites work @@
+Non-idempotent intersection types and strong normalisation
+Normal rank
@@ Property / cites work @@
+On phase semantics and denotational semantics: The exponentials
+Normal rank
@@ Property / cites work @@
+The bang calculus revisited
@@ Property / cites work: The bang calculus revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Non-idempotent intersection types for the Lambda-Calculus
+Normal rank
@@ Property / cites work @@
+A Semantical and Operational Account of Call-by-Value Solvability
+Normal rank
@@ Property / cites work @@
+Taylor expansion for Call-By-Push-Value
@@ Property / cites work: Taylor expansion for Call-By-Push-Value / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Functional Characters of Solvable Terms
@@ Property / cites work: Functional Characters of Solvable Terms / rank @@
+Normal rank
@@ Property / cites work @@
+The Relational Model Is Injective for Multiplicative Exponential Linear Logic
+Normal rank
@@ Property / cites work @@
+Execution time of λ-terms via denotational semantics and intersection types
+Normal rank
@@ Property / cites work @@
+A semantic account of strong normalization in linear logic
+Normal rank
@@ Property / cites work @@
+A semantic measure of the execution time in linear logic
+Normal rank
@@ Property / cites work @@
+Q4649551
@@ Property / cites work: Q4649551 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-By-Push-Value from a Linear Logic Point of View
+Normal rank
@@ Property / cites work @@
+Uniformity and the Taylor expansion of ordinary lambda-terms
+Normal rank
@@ Property / cites work @@
+Q4490749
@@ Property / cites work: Q4490749 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Normal functors, power series and \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q5076060
@@ Property / cites work: Q5076060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5018484
@@ Property / cites work: Q5018484 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5369485
@@ Property / cites work: Q5369485 / rank @@
+Normal rank
@@ Property / cites work @@
+Reductions of Residuals are Finite
@@ Property / cites work: Reductions of Residuals are Finite / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Call-by-need by Means of Types
@@ Property / cites work: Reasoning About Call-by-need by Means of Types / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Types for the Linear Substitution Calculus
+Normal rank
@@ Property / cites work @@
+Q5111320
@@ Property / cites work: Q5111320 / rank @@
+Normal rank
@@ Property / cites work @@
+Consuming and Persistent Types for Classical Logic
+Normal rank
@@ Property / cites work @@
+Q4829806
@@ Property / cites work: Q4829806 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-push-value: Decomposing call-by-value and call-by-name
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value, call-by-need and the linear lambda calculus
+Normal rank
@@ Property / cites work @@
+Solvability in Resource Lambda-Calculus
@@ Property / cites work: Solvability in Resource Lambda-Calculus / 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 @@
+Q5089020
@@ Property / cites work: Q5089020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q6159940
@@ Property / cites work: Q6159940 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2023.105047
@@ Property / DOI: 10.1016/J.IC.2023.105047 / rank @@
+Normal rank