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

DOI10.1093/LOGCOM/EXI070zbMATH Open1105.03072OpenAlexW2012474994MaRDI QIDQ5488609FDOQ5488609

Authors: Miki Tanaka, 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

Recommendations

• Abstract syntax: substitution and binders
• scientific article
• Typed Lambda Calculi and Applications
• Pseudo-distributive laws and axiomatics for variable binding
• scientific article; zbMATH DE number 1759453

zbMATH Keywords

substructural logicslogic of bunched implicationsinitial algebra semanticspseudo-distributive lawpseudo-monadsubstitution monoidal structureuntyped contexts

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Categorical logic, topoi (03G30)

Cited In (10)

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

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

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