A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics

From MaRDI portal

Publication:5488609

Jump to:navigation, search

DOI10.1093/logcom/exi070zbMath1105.03072OpenAlexW2012474994MaRDI QIDQ5488609

Miki Tanaka, A. John Power

Publication date: 22 September 2006

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi070

zbMATH Keywords

substructural logics logic of bunched implications initial algebra semantics pseudo-distributive law pseudo-monad substitution monoidal structure untyped contexts

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (8)

Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding ⋮ Pseudo-distributive laws and axiomatics for variable binding ⋮ Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\) ⋮ Elements of a theory of algebraic theories ⋮ The existential completion ⋮ On the formal theory of pseudomonads and pseudodistributive laws ⋮ Abstract Syntax: Substitution and Binders ⋮ Classical lambda calculus in modern dress

This page was built for publication: A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5488609&oldid=30046851"

Pages with script errors