Report copyright - A Locally Nameless Theory of Objects 1.Introduction: -calculus and De Bruijn notation 2.locally nameless technique 3.formalization in Isabelle and proofs
Please pass captcha verification before submit form
Please pass captcha verification before submit form