Visible acyclic differential nets. I: Semantics

DOI10.1016/J.APAL.2011.09.001zbMath1372.03101OpenAlexW2150777229MaRDI QIDQ409321

Michele Pagani

Publication date: 13 April 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.09.001

zbMATH Keywords

linear logicdifferential interaction netsfiniteness spaces

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Unnamed Item ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ Unnamed Item ⋮ Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A semantic measure of the execution time in linear logic
• Intuitionistic differential nets and lambda-calculus
• Linear logic
• Computational interpretations of linear logic
• Differential interaction nets
• Interpreting a finitary pi-calculus in differential interaction nets
• Strong normalization property for second order linear logic
• The system \({\mathcal F}\) of variable types, fifteen years later
• Normal functors, power series and \(\lambda\)-calculus
• The structure of multiplicatives
• The differential lambda-calculus
• Non-Uniform Hypercoherences
• A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
• Acyclicity and Coherence in Multiplicative Exponential Linear Logic
• A semantic characterisation of the correctness of a proof net
• On Köthe sequence spaces and linear logic
• Obsessional experiments for linear logic proof-nets
• The conservation theorem for differential nets
• Finiteness spaces
• On phase semantics and denotational semantics: The exponentials

This page was built for publication: Visible acyclic differential nets. I: Semantics