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.

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,072

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

A Brief Introduction to Constructive Type Theory.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - In Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman (eds.), Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level. Cham, Switzerland: Springer Verlag. pp. 17--55.
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.
Conditionals and Legal Reasoning.Shahid Rahman & Adjoua Bernadette Dango - 2017 - Nunya. Philosophie, Patrimoine Scientifique Et Technique 5.
A Note on Paradoxical Propositions from an Inferential Point of View.Ivo Pezlar - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 183-199.
Against Cumulative Type Theory.Tim Button & Robert Trueman - 2022 - Review of Symbolic Logic 15 (4):907-49.
Brief Reminder of Constructive Type Theory.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice. Cham, Switzerland: Springer.
History and Philosophy of Constructive Type Theory.Giovanni Sommaruga - 2000 - Dordrecht, Netherland: Springer.
Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.
Twenty Five Years of Constructive Type Theory.Giovanni Sambin & Jan M. Smith (eds.) - 1998 - Clarendon Press.
On Play Objects and Dialogical Games; Towards a Dialogical Approach to Constructive Type Theory (by S. Rahman, N. Clerbout, Z. MacCauneghey).Shahid Rahman & Nicolas Clerbout - 2014 - In P. Allo & V. von Kerkhove (eds.), Modestly radical or radically modes . Festschrift for Jean-Paul van Bendegem.

Analytics

Added to PP
2023-03-25

Downloads
17 (#1,152,721)

6 months
10 (#411,161)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Shahid Rahman
Université Charles-de-Gaulle - Lille 3

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references