Abstract Syntax: Substitution and Binders (Q5262926)
From MaRDI portal
scientific article; zbMATH DE number 6457545
Language | Label | Description | Also known as |
---|---|---|---|
English | Abstract Syntax: Substitution and Binders |
scientific article; zbMATH DE number 6457545 |
Statements
Abstract Syntax: Substitution and Binders (English)
0 references
10 July 2015
0 references
substitution
0 references
binding signature
0 references
initial algebra semantics
0 references
pseudo-distributive law
0 references