Investigations into intensional type theory

Habilitiation Thesis, Ludwig Maximilian Universität (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

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

Thomas Streicher. Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, xii + 298 pp. [REVIEW]Markus Marzetta - 1995 - Journal of Symbolic Logic 60 (3):1020-1021.
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice.Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio & Thomas Streicher - 2018 - Archive for Mathematical Logic 57 (7-8):873-888.
Extensional concepts in intensional type theory.Martin Hofmann - 1995 - Dissertation, University of Edinburgh
Are quantifiers intensional operators?Kai F. Wehmeier - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):511-532.
Thomas More and Maximilian Kolbe.Sister Francis Agnes Onslow - 1977 - Moreana 14 (Number 55-14 (3):153-154.
Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
Intensional logic and two-sorted type theory.Thomas Ede Zimmermann - 1989 - Journal of Symbolic Logic 54 (1):65-77.
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
From tractatus logico-philosophiccis to philosophical investigations and the theory of Ludwig Wittgenstein's language-games.Andrés Felipe López López - 2012 - Escritos 20 (44):121-135.
Homotopy theoretic models of identity types.Steve Awodey & Michael Warren - 2009 - Mathematical Proceedings of the Cambridge Philosophical Society 146:45–55.

Analytics

Added to PP
2025-01-05

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

Add more citations

References found in this work

No references found.

Add more references