On bunched typing
From MaRDI portal
Publication:4461769
DOI10.1017/S0956796802004495zbMath1056.03013WikidataQ56445141 ScholiaQ56445141MaRDI QIDQ4461769
Publication date: 18 May 2004
Published in: Journal of Functional Programming (Search for Journal in Brave)
typed lambda calculi; categorical semantics; typing context; bunched typing; substructural type systems
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
03G30: Categorical logic, topoi
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03B40: Combinatory logic and lambda calculus
Related Items
Abstract Syntax: Substitution and Binders, Bunched sequential information, A logic of separating modalities, Temporal BI: proof system, semantics and translations, Effect algebras, presheaves, non-locality and contextuality, Possible worlds and resources: The semantics of \(\mathbf{BI}\), On the semantics of parsing actions, A Simple Nominal Type Theory, Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names, A calculus for hardware description, Bunched polymorphism