Bunched polymorphism
From MaRDI portal
Publication:3545274
DOI10.1017/S0960129508007159zbMath1167.03011MaRDI QIDQ3545274
Edmund P. Robinson, Matthew Collinson, David J. Pym
Publication date: 10 December 2008
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
03G30: Categorical logic, topoi
03F05: Cut-elimination and normal-form theorems
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03B40: Combinatory logic and lambda calculus
Related Items
Cites Work
- Linear logic
- A new approach to abstract syntax with variable binding
- Kripke-style models for typed lambda calculus
- A small complete category
- Sheaves in geometry and logic: a first introduction to topos theory
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- An ideal model for recursive polymorphic types
- Categorical semantics for higher order polymorphic lambda calculus
- Adjointness in Foundations
- The Logic of Bunched Implications
- On bunched typing
- Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion