Fundamentals of the CTT Approach
Résumé
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