A prismoid framework for languages with resources

DOI10.1016/J.TCS.2011.01.026MaRDI QIDQ654907zbMATH OpenOpenAlexFDO

Authors Delia Kesner, Fabien Renaud

Publication date 23 December 2011

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.01.026

zbMATH Keywords

linear logiclambda-calculusexplicit resources

Mathematics Subject Classification ID

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

Recommendations

• The Prismoid of Resources
• Resource operators for \(\lambda\)-calculus
• Geometry of resource interaction -- \textit{a minimalist approach}
• Labelled calculi of resources
• A semantics for lambda calculi with resources

Cites work

• scientific article; zbMATH DE number 2185670 (Why is no real title available?)
• scientific article; zbMATH DE number 4058907 (Why is no real title available?)
• scientific article; zbMATH DE number 1070568 (Why is no real title available?)
• scientific article; zbMATH DE number 1499097 (Why is no real title available?)
• scientific article; zbMATH DE number 1499107 (Why is no real title available?)
• scientific article; zbMATH DE number 6148924 (Why is no real title available?)
• A -calculus with explicit weakening and explicit substitution
• Automath and Pure Type Systems
• Combinatory reduction systems: Introduction and survey
• Explicit substitutions
• Explicit substitutions à la de Bruijn: the local and global way
• Jumping Boxes
• Lambda-calculus with director strings
• Linear logic
• Local bigraphs and confluence: two conjectures (extended abstract)
• Perpetuality for Full and Safe Composition (in a Constructive Setting)
• Proof nets and explicit substitutions
• Resource operators for \(\lambda\)-calculus
• The Prismoid of Resources
• The Theory of Calculi with Explicit Substitutions Revisited
• The optimal implementation of functional programming languages
• The structural \(\lambda \)-calculus
• λν, a calculus of explicit substitutions which preserves strong normalisation

Cited in

(3)

• The spirit of node replication
• The Prismoid of Resources
• Node Replication: Theory And Practice

Describes a project that uses

Uses Software

• Automath

This page was built for publication: A prismoid framework for languages with resources

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