Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion

DOI10.1007/978-3-642-21691-6_14zbMath1331.68044OpenAlexW1829093058MaRDI QIDQ3007664

Giulio Manzonetto, Michele Pagani

Publication date: 17 June 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21691-6_14

zbMATH Keywords

separation propertyresource lambda-calculusBöhm-out techniquedifferential linear logic

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items

What is a categorical model of the differential and the resource λ-calculi?, Relational graph models, Taylor expansion and extensionality, Unnamed Item, Unnamed Item

Cites Work

• Intuitionistic differential nets and lambda-calculus
• Linear logic
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Uniformity and the Taylor expansion of ordinary lambda-terms
• A discrimination algorithm inside \(\lambda -\beta\)-calculus
• The differential lambda-calculus
• The discriminating power of multiplicities in the \(\lambda\)-calculus
• What is a categorical model of the differential and the resource λ-calculi?
• Full Abstraction for Resource Calculus with Tests
• Linearity, Non-determinism and Solvability
• Exponentials with Infinite Multiplicities
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• A semantics for lambda calculi with resources