Report copyright - Martin-L¨of’s Type Theorysmith/handbook.pdfMartin-Lof¨ ’s Type Theory 3 we here give a presentation of Martin-Lof’s monomorphic type theory in which there are two basic levels,
Please pass captcha verification before submit form
Please pass captcha verification before submit form