scientific article; zbMATH DE number 1759453

MaRDI QIDQ4536403zbMATHFDO

Authors Miki Tanaka

Publication date 4 November 2002

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Abstract syntax: substitution and binders
• Typed Lambda Calculi and Applications
• Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
• A new approach to abstract syntax with variable binding
• Explicit substitutions and higher-order syntax

Cited in

(12)

• A new approach to abstract syntax with variable binding
• Category theory for operational semantics
• Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
• Programming Languages and Systems
• Abstract syntax: substitution and binders
• An initial algebra approach to term rewriting systems with variable binders
• Pseudo-distributive laws and axiomatics for variable binding
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• The abstract variable-binding calculus
• Substitution in non-wellfounded syntax with variable binding
• Typed Lambda Calculi and Applications
• A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics

This page was built for publication:

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