A Lambda Term Representation Inspired by Linear Ordered Logic
(2011)
Journal Article
Abel, A., & Kraus, N. (2011). A Lambda Term Representation Inspired by Linear Ordered Logic. Electronic Proceedings in Theoretical Computer Science, 71, 1-13. https://doi.org/10.4204/EPTCS.71.1
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.