On bunched typing

DOI10.1017/S0956796802004495MaRDI QIDQ4461769zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Peter W. O'Hearn

Publication date 18 May 2004

Published in Journal of Functional Programming (Search for Journal in Brave)

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

zbMATH Keywords

bunched typingcategorical semanticssubstructural type systemstyped lambda calculityping context

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1342284
• Bunched polymorphism
• scientific article; zbMATH DE number 512781
• Computer Science Logic
• The Logic of Bunched Implications

Cited in

(22)

• Effect algebras, presheaves, non-locality and contextuality
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• On the semantics of parsing actions
• Bunched sequential information
• A simple nominal type theory
• Two cotensors in one: presentations of algebraic theories for local state and fresh names
• Strong update, disposal, and encapsulation in bunched typing
• Bunching for regions and locations
• A logic of separating modalities
• A calculus for hardware description
• Bunched polymorphism
• Temporal BI: proof system, semantics and translations
• scientific article; zbMATH DE number 1342284 (Why is no real title available?)
• scientific article; zbMATH DE number 814797 (Why is no real title available?)
• scientific article; zbMATH DE number 1424038 (Why is no real title available?)
• A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
• Classical control, quantum circuits and linear logic in enriched category theory
• Abstract syntax: substitution and binders
• Bunched Fuzz: sensitivity for vector metrics
• Towards logical foundations for probabilistic computation
• The quantum monadology
• Entanglement of sections: the pushout of entangled and parameterized quantum information

This page was built for publication: On bunched typing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4461769)