Abstract syntax: substitution and binders
DOI10.1016/J.ENTCS.2007.02.024zbMATH Open1316.68035OpenAlexW1968062295MaRDI QIDQ5262926FDOQ5262926
Publication date: 10 July 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.024
Recommendations
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65)
Cites Work
- Algebraic operations and generic effects
- Nominal logic, a first order theory of names and binding
- The semantics and proof theory of the logic of bunched implications
- Alpha-structural recursion and induction
- On bunched typing
- A new approach to abstract syntax with variable binding
- Category theory for operational semantics
- Title not available (Why is that?)
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Pseudo-commutative monads and pseudo-closed 2-categories
- Capture-Avoiding Substitution as a Nominal Algebra
- Title not available (Why is that?)
- A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL
- Theorem Proving in Higher Order Logics
- FreshML
- Title not available (Why is that?)
- A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics
- Title not available (Why is that?)
- Pseudo-distributive laws and axiomatics for variable binding
- Title not available (Why is that?)
Cited In (12)
- Title not available (Why is that?)
- Variable binding and substitution for (nameless) dummies
- A new approach to abstract syntax with variable binding
- Typed Lambda Calculi and Applications
- Pseudo-distributive laws and axiomatics for variable binding
- Variable binding and substitution for (nameless) dummies
- Title not available (Why is that?)
- A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics
- Programming Languages and Systems
- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: Abstract syntax: substitution and binders
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262926)
