scientific article; zbMATH DE number 1759453

zbMATH Open0996.68030MaRDI QIDQ4536403FDOQ4536403

Authors: Miki Tanaka 

Publication date: 4 November 2002

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (12)

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

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)