Bunched polymorphism

DOI10.1017/S0960129508007159zbMath1167.03011OpenAlexW2911315820MaRDI 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)

Full work available at URL: https://doi.org/10.1017/s0960129508007159

zbMATH Keywords

lambda calculustype theorypolymorphicbunched

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)

Related Items (6)

A stone-type duality theorem for separation logic via its underlying bunched logics ⋮ A Unified Display Proof Theory for Bunched Logic ⋮ Bunched logics displayed ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Algebra and logic for resource-based systems modelling

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

This page was built for publication: Bunched polymorphism