@inproceedings{f30416923dd747faa9c4585357e6b6d0,

title = "Representation of lambda terms suitable for operations on their intensions",

abstract = "A representation for lambda terms is described based on the scheme of de Bruijn for eliminating variable names. The new notation provides for a class of terms that can encode other terms together with substitutions to be performed on them. The notion of an environment is used to realize this 'delaying' of substitutions. The precise mechanism that is used is, however, more complex than the usual so as to support the ability to examine subterms embedded under abstractions. A virtue of our representation is that it permits substitution to be realized as an atomic operation and thereby provides for efficient implementations of β-reduction. Operations on λ-terms are described based on our representation and the relationship of these to the conventional definitions are exhibited.",

author = "Gopalan Nadathur and Wilson, {Debra Sue}",

year = "1990",

month = dec,

day = "1",

language = "English (US)",

isbn = "089791368X",

series = "Proc 1990 ACM Conf LISP Funct Program",

publisher = "Publ by ACM",

pages = "341--348",

editor = "Anon",

booktitle = "Proc 1990 ACM Conf LISP Funct Program",

note = "Proceedings of the 1990 ACM Conference on LISP and Functional Programming ; Conference date: 27-06-1990 Through 29-06-1990",

}