Theories of presheaf type

Journal of Symbolic Logic 69 (3):923-934 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1096901776

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,793

External links

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

Equivalences Between Logics and Their Representing Type Theories.Philippa Gardner - 1992 - LFCS, Department of Computer Science, University of Edinburgh.
Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
Natural models and Ackermann-type set theories.John Lake - 1975 - Journal of Symbolic Logic 40 (2):151-158.
Review: Solomon Feferman, Toward Useful Type-Free Theories I. [REVIEW]Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):342-345.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
Lascar strong types in some simple theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.

Analytics

Added to PP
2009-02-05

Downloads
56 (#369,104)

6 months
17 (#161,731)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On duality and model theory for polyadic spaces.Sam van Gool & Jérémie Marquès - 2024 - Annals of Pure and Applied Logic 175 (2):103388.

Add more citations

References found in this work

No references found.

Add more references