Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting (Q5389137)
From MaRDI portal
scientific article; zbMATH DE number 6027893
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting |
scientific article; zbMATH DE number 6027893 |
Statements
25 April 2012
0 references
weakly orthogonal term rewrite systems
0 references
unique normal form property
0 references
infinitary rewriting
0 references
infinitary \(\lambda\beta\eta\)-calculus
0 references
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting (English)
0 references
