Fundamentals of the CTT Approach

Shahid Rahman (1) , Nicolas Clerbout (2, 1)

1 STL - Savoirs, Textes, Langage (STL) - UMR 8163
2 Universidad de Valparaiso [Chile]

The paper presents a very brief overview of Per Martin-Löf's Constructive Type Theory (CTT for short). It is thought as handout for a mastersl level seminar ? Sicne it is an overview on existing literatures there is no claim on originaliyt here

Mots clés: Logic; type theory; constructivsm; mathematics; philosophy of logic

Domaines: Philosophie; Linguistique; Histoire, Philosophie et Sociologie des sciences

Shahid Rahman, Nicolas Clerbout. Fundamentals of the CTT Approach. Master. France. 2015. ⟨cel-01228820v3⟩