Report copyright - Describing Lambda Terms in Context Unification · Describing Lambda Terms in Context Unification! Joachim Niehren1 and Mateu Villaret2 1 INRIA Futurs, Lille, France. 2 Universitat
Please pass captcha verification before submit form
Please pass captcha verification before submit form