scientific article; zbMATH DE number 7471682
From MaRDI portal
Jules Chouquet, Lionel Vaux Auclair
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/1902.05193
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Taylor expansion, finiteness and strategies, Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
Cites Work
- A semantic measure of the execution time in linear logic
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Linear logic
- Uniformity and the Taylor expansion of ordinary lambda-terms
- Normal functors, power series and \(\lambda\)-calculus
- The structure of multiplicatives
- The differential lambda-calculus
- Proof equivalence in MLL is PSPACE-complete
- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms
- A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Execution time of λ-terms via denotational semantics and intersection types
- A new correctness criterion for MLL proof nets
- On Köthe sequence spaces and linear logic
- Taylor expansion, β-reduction and normalization
- Weighted Relational Models of Typed Lambda-Calculi
- The Relational Model Is Injective for Multiplicative Exponential Linear Logic
- Finiteness spaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
