A Lambda Term Representation Inspired by Linear Ordered Logic
(2011)
Journal Article
We introduce a new nameless representation of lambda terms inspired by ordered logic. At a lambda abstraction, number and relative position of all occurrences of the bound variable are stored, and application carries the additional information where... Read More about A Lambda Term Representation Inspired by Linear Ordered Logic.