The Prismoid of Resources
From MaRDI portal
Publication:3182947
DOI10.1007/978-3-642-03816-7_40zbMath1250.03024MaRDI QIDQ3182947
Publication date: 16 October 2009
Published in: Mathematical Foundations of Computer Science 2009 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03816-7_40
Related Items
A prismoid framework for languages with resources, Intersection Types for the Resource Control Lambda Calculi
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Resource operators for \(\lambda\)-calculus
- Local Bigraphs and Confluence: Two Conjectures
- Perpetuality for Full and Safe Composition (in a Constructive Setting)
- The Theory of Calculi with Explicit Substitutions Revisited
- Jumping Boxes
- Explicit substitutions