Abstract Data Types and Type Theory: Theories as Types

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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,386

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.
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.
Type Theory and Homotopy.Steve Awodey - unknown
Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
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.
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.
Stable types in rosy theories.Assaf Hasson & Alf Onshuus - 2010 - Journal of Symbolic Logic 75 (4):1211-1230.
Extensional Equality in the Classical Theory of Types.William Tait - 1995 - Vienna Circle Institute Yearbook 3:219-234.
Types and tokens: on abstract objects.Linda Wetzel - 2009 - Cambridge, Mass.: MIT Press.
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Types in Abstract Elementary Classes.Tapani Hyttinen - 2004 - Notre Dame Journal of Formal Logic 45 (2):99-108.

Analytics

Added to PP
2016-02-04

Downloads
35 (#445,257)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Last writings on the philosophy of psychology.Ludwig Wittgenstein - 1982 - Chicago: University of Chicago Press. Edited by G. H. von Wright, Heikki Nyman & Ludwig Wittgenstein.
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
The lambda calculus: its syntax and semantics.Hendrik Pieter Barendregt - 1981 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
The Lambda Calculus. Its Syntax and Semantics.E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.

View all 6 references / Add more references