scientific article; zbMATH DE number 7566060
From MaRDI portal
Publication:5094132
Lorenzo Tortora de Falco, Giulio Guerrieri, Luc Pellissier
Publication date: 2 August 2022
Full work available at URL: https://arxiv.org/abs/2008.03103
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Relational graph models, Taylor expansion and extensionality
- The relational model is injective for multiplicative exponential linear logic (without weakenings)
- Intuitionistic differential nets and lambda-calculus
- Differential interaction nets
- Uniformity and the Taylor expansion of ordinary lambda-terms
- Decision problems for propositional linear logic
- The complexity of Horn fragments of linear logic
- Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
- The differential lambda-calculus
- Infinets: the parallel syntax for non-wellfounded proof-theory
- Proof-net as graph, Taylor expansion as pullback
- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms
- A characterization of the Taylor expansion of lambda-terms
- The Separation Theorem for Differential Interaction Nets
- Thick Subtrees, Games and Experiments
- The Cut-Elimination Theorem for Differential Nets with Promotion
- Confluence of Pure Differential Nets with Promotion
- Minimality of the correctness criterion for multiplicative proof nets
- A semantic characterisation of the correctness of a proof net
- On Köthe sequence spaces and linear logic
- Taylor expansion, β-reduction and normalization
- The Relational Model Is Injective for Multiplicative Exponential Linear Logic
- Finiteness spaces
- Logical Approaches to Computational Barriers
This page was built for publication:
