Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding |
scientific article; zbMATH DE number 7634877
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7948339581489563
0 references
0.794074296951294
0 references
0.7882944345474243
0 references
0.7696285843849182
0 references
0.7658841609954834
0 references
