Fundamentals of the CTT Approach

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
Complete list of metadatas

https://halshs.archives-ouvertes.fr/cel-01228820
Contributor : Shahid Rahman <>
Submitted on : Monday, November 23, 2015 - 2:34:41 PM
Last modification on : Wednesday, October 16, 2019 - 2:48:40 PM
Document(s) archivé(s) le : Friday, April 28, 2017 - 9:22:07 PM

Identifiers

  • HAL Id : cel-01228820, version 3

Collections

Citation

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

Share

Metrics

Record views

346

Files downloads

217