๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Well limit behaviors of term rewriting systems

โœ Scribed by Ma, Shilong ;Sui, Yuefei ;Xu, Ke

Book ID
107475531
Publisher
Higher Education Press and Springer
Year
2007
Tongue
English
Weight
820 KB
Volume
1
Category
Article
ISSN
1673-7350

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Confluence of Curried Term-Rewriting Sys
Confluence of Curried Term-Rewriting Systems
โœ 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