LISP and Symbolic Computation, 10(3)189-199
The Theory of Fexprs is TrivialMitchell Wand, College of Computer Science, Northeastern University, 360 Huntington Avenue, 161CN, Boston, MA 02115, USA
|
Abstract: We provide a very simple model of a reflective
facility based on the pure lambda-calculus, and we show that its
theory of contextual equivalence is trivial: two terms in the language
are contextually equivalent iff they are alpha-congruent.
Keywords: reflection, fexprs, contextual equivalence |
This article can be downloaded [here].
![[picture of journal cover]](../LISP.JPG)