Report copyright - Representing Logics in Type Theorypg/publications/Gardner1992... · 2020. 6. 15. · A-calculus with first-order dependent types with three levels of terms: objects, types (which
Please pass captcha verification before submit form
Please pass captcha verification before submit form