DMCA

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
Citations:4 - 1 self