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
Temporal BI: proof system, semantics and translations, Possible worlds and resources: The semantics of \(\mathbf{BI}\), On the semantics of parsing actions, A calculus for hardware description, Bunched polymorphism