Typing Lambda Terms in Elementary Logic with Linear Constraints

Paolo Coppola, Simone Martini. Typing Lambda Terms in Elementary Logic with Linear Constraints. In Samson Abramsky, editor, Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings. Volume 2044 of Lecture Notes in Computer Science, pages 76-90, Springer, 2001. [doi]

Abstract

Abstract is missing.