Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367)
From MaRDI portal
scientific article; zbMATH DE number 7634877
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding |
scientific article; zbMATH DE number 7634877 |
Statements
Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (English)
0 references
20 December 2022
0 references
term rewriting
0 references
higher-order rewriting
0 references
termination
0 references
algebraic models
0 references
higher-order abstract syntax
0 references
0 references
0 references
0 references
0 references
