Infinitary affine proofs

DOI10.1017/S0960129515000298MaRDI QIDQ5268998zbMATH OpenOpenAlexWikidataFDO

Authors Damiano Mazza

Publication date 14 June 2017

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129515000298

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• scientific article; zbMATH DE number 1463257
• Some Properties of Linear Logic Proved by Semantic Methods
• The finite model property for various fragments of intuitionistic linear logic
• scientific article; zbMATH DE number 1231581
• A functorial bridge between the infinitary affine lambda-calculus and linear logic

Cites work

• A linearization of the Lambda-calculus and consequences
• A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem
• A new constructive logic: classic logic
• Abstract Böhm trees
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• An infinitary affine lambda-calculus isomorphic to the full lambda-calculus
• Asynchronous games. II: The true concurrency of innocence
• Computational ludics
• Finiteness spaces
• Full abstraction for PCF
• Fundamental properties of infinite trees
• scientific article; zbMATH DE number 1194721 (Why is no real title available?)
• scientific article; zbMATH DE number 3709584 (Why is no real title available?)
• scientific article; zbMATH DE number 1161568 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• Infinitary lambda calculus
• Linear logic
• Locus solum: From the rules of logic to the logic of rules.
• Non-uniform polytime computation in the infinitary affine lambda-calculus
• On full abstraction for PCF: I, II and III
• Polarized games
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Termination and confluence in infinitary term rewriting
• Uniformity and the Taylor expansion of ordinary lambda-terms

Cited in

(2)

• Affine systems of equations and counting infinitary logic
• Proving infinitary formulas

This page was built for publication: Infinitary affine proofs

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