Complexity 2017:1-13 (2017)

Authors
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1155/2017/6820492
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,163
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Representation in Digital Systems.Vincent C. Müller - 2008 - In Adam Briggle, Katinka Waelbers & Brey Philip (eds.), Current Issues in Computing and Philosophy. IOS Press. pp. 116-121.
On the Type-Definability of the Binding Group in Simple Theories.Bradd Hart & Ziv Shami - 2005 - Journal of Symbolic Logic 70 (2):379 - 388.
Storage Operators and ∀‐Positive Types in TTR Type System.Karim Nour - 1996 - Mathematical Logic Quarterly 42 (1):349-368.
System ST Toward a Type System for Extraction and Proofs of Programs.Christophe Raffalli - 2003 - Annals of Pure and Applied Logic 122 (1-3):107-130.
A Transfinite Type Theory with Type Variables. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):144-144.
Structural Chaos.Conor Mayo-Wilson - 2015 - Philosophy of Science 82 (5):1236-1247.
A Simple Type Theory With Partial Functions And Subtypes.William M. Farmer - 1993 - Annals of Pure and Applied Logic 64 (3):211-240.
Mixed Logic and Storage Operators.Karim Nour - 2000 - Archive for Mathematical Logic 39 (4):261-280.
A General Type for Storage Operators.Karim Nour - 1995 - Mathematical Logic Quarterly 41 (4):505-514.

Analytics

Added to PP index
2019-06-13

Total views
11 ( #852,497 of 2,506,918 )

Recent downloads (6 months)
1 ( #417,155 of 2,506,918 )

How can I increase my downloads?

Downloads

My notes