Report - Logique - thomaspietrzak.com · Système - Langage Système Logique Langage de programmmation Calcul des constructions ⇔ CC (Coquand) Logique Intuitionniste du 2e ordre ⇔ Système

Please pass captcha verification before submit form