[TYPES/announce] New definitions of contexts and free variables for lambda-calculi with explicit substitutions

George Cherevichenko george.cherevichenko at gmail.com
Wed Mar 27 14:38:31 EDT 2013


Contexts (environments) are not sets or lists without multiplicity, but
have a more complicated structure. There is a natural order on the set of
contexts. A "set" of free variables is not a set, but a context in the new
sense. New definitions simplify working with explicit substitutions.

It is desirable to see this article (Lang and Lescanne) before

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130327/2ee73694/attachment.html>

More information about the Types-announce mailing list