Abstract | ||
---|---|---|
We present an axiomatic approach to the concept of meaninglessness in finite and transfinite term rewriting and lambda calculus. We justify our axioms in several ways. They can be intuitively justified from the viewpoint of rewriting as computation. They are shown to imply impor- tant properties of meaninglessness: genericity of the class of meaningless terms, confluence modulo equality of meaningless terms, the consistency of equating all meaningless terms, and the construction of Bohm trees and models of rewrite systems. Finally, we show that they can be easily verified for many existing notions of meaninglessness, and easily refuted for some notions that are known not to be good characterisations of mean- inglessness. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1007/3-540-61735-3_17 | Journal of Functional and Logic Programming |
Keywords | DocType | Volume |
meaningless terms | Journal | 1999 |
Issue | ISBN | Citations |
1 | 3-540-61735-3 | 30 |
PageRank | References | Authors |
1.36 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Richard Kennaway | 1 | 435 | 47.65 |
Vincent van Oostrom | 2 | 505 | 38.41 |
Fer-Jan de Vries | 3 | 244 | 21.67 |