Report copyright - A Mechanized Model of the Theory of Objects 1.Functional -calculus in Isabelle 2.Confluence Proof in Isabelle 3.Ongoing Work, Applications, Conclusion
Please pass captcha verification before submit form
Please pass captcha verification before submit form