Visible acyclic differential nets. I: Semantics

DOI10.1016/J.APAL.2011.09.001MaRDI QIDQ409321zbMATH OpenOpenAlexFDO

Authors 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

differential interaction netsfiniteness spaceslinear logic

Mathematics Subject Classification ID

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

Recommendations

• Acyclic solos and differential interaction nets
• Intuitionistic differential nets and lambda-calculus
• scientific article; zbMATH DE number 3943004
• The denotational semantics of dynamic networks of processes
• Intuitionistic multiplicative proof nets as models of directed acyclic graph descriptions
• Declarative encodings of acyclicity properties
• scientific article; zbMATH DE number 1305005
• scientific article; zbMATH DE number 3856451
• Partial Order Semantics of Types of Nets
• The Separation Theorem for Differential Interaction Nets

Cites work

• A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
• A semantic characterisation of the correctness of a proof net
• A semantic measure of the execution time in linear logic
• Acyclicity and Coherence in Multiplicative Exponential Linear Logic
• Computational interpretations of linear logic
• Differential interaction nets
• Finiteness spaces
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 1033382 (Why is no real title available?)
• scientific article; zbMATH DE number 2061715 (Why is no real title available?)
• scientific article; zbMATH DE number 786495 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• Interpreting a finitary pi-calculus in differential interaction nets
• Intuitionistic differential nets and lambda-calculus
• Linear logic
• Non-uniform hypercoherences
• Normal functors, power series and -calculus
• Obsessional experiments for linear logic proof-nets
• On Köthe sequence spaces and linear logic
• On phase semantics and denotational semantics: The exponentials
• Strong normalization property for second order linear logic
• The conservation theorem for differential nets
• The differential lambda-calculus
• The structure of multiplicatives
• The system \({\mathcal F}\) of variable types, fifteen years later

Cited in

(5)

• Strong normalizability as a finiteness structure via the Taylor expansion of -terms
• scientific article; zbMATH DE number 7359421 (Why is no real title available?)
• Coherent interaction graphs
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• Differential interaction nets

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

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