Describing Lambda Terms in Context Unification (2005)

by Joachim Niehren, Mateu Villaret
Venue:in "5th International Conference on Logical Aspects in Computational Linguistics", LNAI, vol. 3492, SV