Vincent Oostrom

For more information about Current Contents on Diskette”’, telephone toll-free 800-336-4474. Outside the US and Canada, call 215-386-0100, ext. 1483, or contact the nearest ISI@ representative listed on the inside front cover of thk issue of Current Conte (1998)

Gerhard Goos, Juris Hartmanis, Jan Van Leeuwen, Editorial Board, David Hutchison, Takeo Kanade, ...

Femke van Raamsdonk Roel de Vrijer (Eds.)

de Vries (1997)

Vincent Oostrom, Richard Kennaway, Richard Kennaway, Vincent Van Oostrom

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...