Bunched polymorphism
DOI10.1017/S0960129508007159zbMATH Open1167.03011OpenAlexW2911315820MaRDI QIDQ3545274FDOQ3545274
Edmund P. Robinson, Matthew Collinson, David Pym
Publication date: 10 December 2008
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129508007159
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30)
Cites Work
- Sheaves in geometry and logic: a first introduction to topos theory
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Categorical semantics for higher order polymorphic lambda calculus
- The Logic of Bunched Implications
- On bunched typing
- Linear logic
- A new approach to abstract syntax with variable binding
- A small complete category
- Adjointness in Foundations
- Kripke-style models for typed lambda calculus
- An ideal model for recursive polymorphic types
- Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion
Cited In (7)
- A Unified Display Proof Theory for Bunched Logic
- A stone-type duality theorem for separation logic via its underlying bunched logics
- Title not available (Why is that?)
- Algebra and logic for resource-based systems modelling
- Bunched logics displayed
- Title not available (Why is that?)
- Title not available (Why is that?)
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Formal parametric polymorphism 👍 👎
- Polymorphic typed defunctionalization 👍 👎
- Functorial polymorphism 👍 👎
- Multiple Polymorphic Arguments in Single Dispatch Object Oriented Languages 👍 👎
- Computer Science Logic 👍 👎
This page was built for publication: Bunched polymorphism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3545274)
