Skip to Main content Skip to Navigation
Lectures

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 : Monday, December 14, 2020 - 5:25:34 PM
Long-term archiving on: : 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

406

Files downloads

258