Fundamentals of the CTT Approach - Archive ouverte HAL Access content directly
Lectures Year : 2015

Fundamentals of the CTT Approach

(1) , (2, 1)
1
2

Abstract

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
Fichier principal
Vignette du fichier
IntroducCTTEnglish23-Nov-2015.pdf (223.88 Ko) Télécharger le fichier

Dates and versions

cel-01228820 , version 1 (13-11-2015)
cel-01228820 , version 2 (19-11-2015)
cel-01228820 , version 3 (23-11-2015)

Identifiers

  • HAL Id : cel-01228820 , version 3

Cite

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

Share

Gmail Facebook Twitter LinkedIn More