Pseudo-distributive laws and axiomatics for variable binding

DOI10.1007/s10990-006-8750-xzbMath1105.68077OpenAlexW2040355822MaRDI QIDQ853747

Miki Tanaka, A. John Power

Publication date: 17 November 2006

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-006-8750-x

zbMATH Keywords

ContextBinding signaturesInitial algebra semanticsPseudo-distributive lawPseudo-monadSubstitution monoidal structure

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (8)

A unified framework for notions of algebraic theory ⋮ A presheaf environment for the explicit fusion calculus ⋮ The linear-non-linear substitution 2-monad ⋮ Algebras versus coalgebras ⋮ Modules over monads and initial semantics ⋮ The existential completion ⋮ On the formal theory of pseudomonads and pseudodistributive laws ⋮ Abstract Syntax: Substitution and Binders

Cites Work

• Pseudo-distributive laws
• A universal property of the convolution monoidal structure
• Two-dimensional monad theory
• Une théorie combinatoire des séries formelles
• Algebraic operations and generic effects
• Pseudo-commutative monads and pseudo-closed 2-categories
• The semantics and proof theory of the logic of bunched implications
• Models for the computational λ-calculus
• A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics
• On closed categories of functors
• Typed Lambda Calculi and Applications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Pseudo-distributive laws and axiomatics for variable binding