scientific article; zbMATH DE number 7533340

DOI10.4230/LIPIcs.CSL.2018.15MaRDI QIDQ5079739

Jules Chouquet, Auclair Lionel Vaux

Publication date: 28 May 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cut eliminationlinear logicproof netsdifferential linear logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• 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
• Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• 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

This page was built for publication: