Report copyright - Contextual Modal Type Theory · 2.2 Categorical Judgments In this section we review the critical notion of a categorical judgment [Pfenning and Davies 2001]. We say that Ais categorically
Please pass captcha verification before submit form