Abstract Data Types and Type Theory: Theories as Types

Mathematical Logic Quarterly 37 (9-12):149-166 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19910370904

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

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

Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Mathematical Logic Quarterly 37 (9‐12):149-166.
Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):149-166.
On the number of types.Miloš Kosterec - 2017 - Synthese 194 (12):5005-5021.
Types of constraints on development: An interactivist approach.Mark Bickhard - manuscript
Types of Constraints on Development: An Interactivist Approach.Robert L. Campbell, Mark H. Bickhard, PO Box & Chandler-Ullmann Hall - unknown
Lascar Types and Lascar Automorphisms in Abstract Elementary Classes.Tapani Hyttinen & Meeri Kesälä - 2011 - Notre Dame Journal of Formal Logic 52 (1):39-54.
Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
Type Theory and Homotopy.Steve Awodey - unknown
Weight ω in stable theories with few types.Bernhard Herwig - 1995 - Journal of Symbolic Logic 60 (2):353-373.
Omitting types in incomplete theories.Enrique Casanovas & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (1):236-245.
An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
Extensional Equality in the Classical Theory of Types.William Tait - 1995 - Vienna Circle Institute Yearbook 3:219-234.
Stable types in rosy theories.Assaf Hasson & Alf Onshuus - 2010 - Journal of Symbolic Logic 75 (4):1211-1230.
Computation on abstract data types. The extensional approach, with an application to streams.Solomon Feferman - 1995 - Annals of Pure and Applied Logic 81 (1-3):75-113.
Types and tokens: on abstract objects.Linda Wetzel - 2009 - Cambridge, Mass.: MIT Press.

Analytics

Added to PP
2017-02-17

Downloads
9 (#1,154,504)

6 months
1 (#1,346,405)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references