Report copyright - Contextual Modal Type Theory - cs.mcgill.cabpientka/papers/tocl284-accepted.pdf · Contextual Modal Type Theory ... of context enters almost immediately because the truth of a proposition
Please pass captcha verification before submit form