scientific article; zbMATH DE number 7533340

DOI10.4230/LIPICS.CSL.2018.15MaRDI QIDQ5079739FDOQ5079739

Jules Chouquet, Auclair Lionel Vaux

Publication date: 28 May 2022

Title of this publication is not available (Why is that?)

zbMATH Keywords

linear logiccut eliminationproof netsdifferential linear logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Linear logic
• The Relational Model Is Injective for Multiplicative Exponential Linear Logic
• Uniformity and the Taylor expansion of ordinary lambda-terms
• The differential lambda-calculus
• Normal functors, power series and \(\lambda\)-calculus
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Finiteness spaces
• The structure of multiplicatives
• On Köthe sequence spaces and linear logic
• 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
• Title not available (Why is that?)
• Weighted Relational Models of Typed Lambda-Calculi
• Taylor expansion, β-reduction and normalization

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079739)