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