An initial algebra approach to term rewriting systems with variable binders
type: Item
instance of: scholarly article
title: An initial algebra approach to term rewriting systems with variable binders
zbMATH Open document ID: 1105.68055
author: Makoto Hamana
published in: Higher-Order and Symbolic Computation
publication date: 2006-11-17T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 5073695
zbMATH Keywords: Term rewriting systems
zbMATH Keywords: Abstract syntax with variable binding
zbMATH Keywords: Higher-order abstract syntax
zbMATH Keywords: Initial algebra semantics
describes a project that uses: FreshOCaml
describes a project that uses: Freshml
MaRDI profile type: Publication
full work available at URL: s10990-006-8747-5
OpenAlex ID: W1973544374
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Q4938611
cites work: Inductive-data-type systems
cites work: Q5515373
cites work: On closed categories of functors
cites work: Q5667469
cites work: A fully abstract model for the \(\pi\)-calculus.
cites work: Q4825543
cites work: Q5714443
cites work: Programming Languages and Systems
cites work: Term Rewriting and Applications
cites work: A typed context calculus
cites work: Automata, Languages and Programming
cites work: Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
cites work: Q3918095
cites work: Q4362961
cites work: A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
cites work: Q3024831
cites work: Nominal logic, a first order theory of names and binding
cites work: Q2721104
cites work: The λ-calculus is ω-incomplete
cites work: Q4781028
cites work: Variations on algebra: Monadicity and generalisations of equational theories
cites work: Computer Science Logic
cites work: The lambda calculus is algebraic
cites work: FreshML
cites work: A theory of binding structures and applications to rewriting
cites work: Q4536403
cites work: Functional and Logic Programming
cites work: Q2778888
cites work: Termination of term rewriting: Interpretation and type elimination
DOI: 10.1007/S10990-006-8747-5
description: scientific article; zbMATH DE number 5073695