Report copyright - Lecture 8: nominal unification - cl.cam.ac.uk · Examples of unification ‘mod α’ over the nominal algebraic signature Σ for λ-calculus: name-sort Var,data-sortTerm,operations
Please pass captcha verification before submit form
Please pass captcha verification before submit form