Bunched polymorphism
DOI10.1017/S0960129508007159zbMATH Open1167.03011OpenAlexW2911315820MaRDI QIDQ3545274FDOQ3545274
Authors: Matthew Collinson, Edmund P. Robinson, 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
Recommendations
- Computer Science Logic
- scientific article; zbMATH DE number 3907754
- scientific article; zbMATH DE number 1420792
- Publication:2729916
- scientific article; zbMATH DE number 7359806
- Polymorphic typed defunctionalization
- scientific article; zbMATH DE number 742721
- Multiple polymorphic arguments in single dispatch object oriented languages
- Formal parametric polymorphism
- Functorial polymorphism
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 \texttt{Lily}, a polymorphic linear lambda calculus with recursion
Cited In (12)
- Computer Science Logic
- 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?)
- A theory of bunches
- Algebra and logic for resource-based systems modelling
- Bunching for regions and locations
- Bunched logics displayed
- Strong update, disposal, and encapsulation in bunched typing
- Title not available (Why is that?)
- Title not available (Why is that?)
- On bunched typing
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)
