Report copyright - Towards a Type Theory of Contextsfp/talks/merlin05-talk.pdf · Towards a Type Theory of Contexts Frank Pfenning Carnegie Mellon University Invited Talk Workshop on Mechanized Reasoning
Please pass captcha verification before submit form