Constructive type theory

In Shalom Lappin & Chris Fox (eds.), Handbook of Contemporary Semantic Theory. Hoboken: Wiley-Blackwell (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

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.
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.
Constructive Type Theory, an appetizer.Laura Crosilla - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
Constructive Type Theory and the Dialogical Turn.Shahid Rahman & Nicolas Clerbout - 2014 - In Jürgen Mittelstrass & Christopher von Bülow (eds.), Dialogische Logik. Münster: Mentis. pp. 91-148.
Assertion and grounding: a theory of assertion for constructive type theory.Maria van der Schaar - 2011 - Synthese 183 (2):187-210.
Assertion and grounding: a theory of assertion for constructive type theory.Maria Schaar - 2011 - Synthese 183 (2):187-210.
Twenty Five Years of Constructive Type Theory.Giovanni Sambin & Jan M. Smith (eds.) - 1998 - Clarendon Press.
The cognitive act and the first-person perspective: an epistemology for constructive type theory.Maria van der Schaar - 2011 - Synthese 180 (3):391 - 417.
Dialogical Harmony: tonk, constructive type theory and rules for anonymous players.Juan Redmond & Shahid Rahman - unknown
Twenty-five years of constructive type theory: proceedings of a congress held in Venice, October 1995.Giovanni Sambin & Jan M. Smith (eds.) - 1998 - New York: Oxford University Press.

Analytics

Added to PP
2022-12-16

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references