Confluence of Curried Term-Rewriting Sys
โ
Stefan Kahrs
๐
Article
๐
1995
๐
Elsevier Science
๐
English
โ 721 KB
Term rewriting systems operate on first-order terms. Presenting such terms in curried form is usually regarded as a trivial change of notation. However, in the absence of a type-discipline, or in the presence of a more powerful type-discipline than simply typed \(\lambda\)-calculus, the change is no