@inbook{f0b620f6eaec4dcc809e4b742cc03803,
title = "Meaningless terms in rewriting",
abstract = "We present an axiomatic approach to meaninglessness in finite and transfinite term rewriting and lambda calculus. We justify our axioms in two ways. First, they are shown to imply important properties of meaninglessness: genericity of the class of meaningless terms, the consistency of equating all meaningless terms, and the construction of B{\"o}hm trees. Second we show that they can be easily verified for existing notions of meaninglessness.",
author = "Richard Kennaway and {van Oostrom}, Vincent and {de Vries}, Fer-Jan",
note = "5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings",
year = "1996",
doi = "10.1007/3-540-61735-3_17",
language = "English",
volume = "1139",
series = "Lecture Notes in Computer Science",
publisher = "Springer Berlin / Heidelberg",
pages = "254--268",
editor = "Michael Hanus and Mario Rodr{\'i}guez-Artalejo",
booktitle = "Algebraic and Logic Programming",
}