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

Keywords

Reprint years

DOI

10.1002/malq.19910370904

Other Versions

reprint de Queiroz, Ruy J. G. B.; Maibaum, Thomas S. E. (1991) "Abstract Data Types and Type Theory: Theories as Types". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37(9-12):149-166

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,533

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. B. de Queiroz - 1991 - Mathematical Logic Quarterly 37 (9-12):149-166.
On definability of types and relative stability.Viktor Verbovskiy - 2019 - Mathematical Logic Quarterly 65 (3):332-346.
A note on stationarity of types over models in simple theories.Makoto Kobayashi & Akito Tsuboi - 2008 - Mathematical Logic Quarterly 54 (6):625-628.
On Theories Having Three Countable Models.Koichiro Ikeda, Akito Tsuboi & Anand Pillay - 1998 - Mathematical Logic Quarterly 44 (2):161-166.
Fraenkel-Carnap properties.G. Au George Weaver - 2005 - Mathematical Logic Quarterly 51 (3):285.
Forking and Incomplete Types.Tapani Hyttinen - 1996 - Mathematical Logic Quarterly 42 (1):421-432.
Degrees of isomorphism types and countably categorical groups.Aleksander Ivanov - 2012 - Archive for Mathematical Logic 51 (1):93-98.
Lascar strong types in some simple theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.
Variable-free formalization of the Curry-Howard theory.William Tait - manuscript

Analytics

Added to PP
2013-12-01

Downloads
27 (#697,991)

6 months
6 (#688,448)

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 - 1984 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Frege Structures and the notions of proposition, truth and set.Peter Aczel - 1980 - Journal of Symbolic Logic 51 (1):244-246.

Add more references