Sign and the lambda-term

&
Semiotica 2008 (169):197-220 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1515/sem.2008.032

Links

PhilArchive



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

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

Thirdness as self-reference in computing.Kumiko Tanaka-Ishii & Yuichiro Ishii - 2006 - Semiotica 2006 (160):327-343.
Icon, index, symbol and denotation, connotation, metasign.Kumiko Tanaka-Ishii & Yuichiro Ishii - 2007 - Semiotica 2007 (166):393-407.
The Proofs of $alpha rightarrow alpha$ in $P - W$.Sachio Hirokawa - 1996 - Journal of Symbolic Logic 61 (1):195-211.
New directions in type-theoretic grammars.Reinhard Muskens - 2010 - Journal of Logic, Language and Information 19 (2):129-136.
Dyadic versus triadic sign models in functional and object-oriented computer programming paradigms.Kumiko Tanaka-Ishii - 2006 - Semiotica 2006 (158):213-231.
Suggestion for Einstein-Podolsky-Rosen experiments using reactions likee^ + e^ - to Lambda bar Lambda to pi ^ - ppi ^ + bar p.Nils A. Törnqvist - 1981 - Foundations of Physics 11 (1-2):171-177.
Recursion theory and the lambda-calculus.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):67-83.
A Gitik iteration with nearly Easton factoring.William J. Mitchell - 2003 - Journal of Symbolic Logic 68 (2):481-502.
Decomposable Ultrafilters and Possible Cofinalities.Paolo Lipparini - 2008 - Notre Dame Journal of Formal Logic 49 (3):307-312.
On the $\kappa$ -cub game on $\lambda $ and $I[\lambda ]$.Taneli Huuskonen, Tapani Hyttinen & Mika Rautila - 1999 - Archive for Mathematical Logic 38 (8):549-557.
More on Regular Reduced Products.Juliette Cara Kennedy & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (4):1261 - 1266.
Stationary sets and infinitary logic.Saharon Shelah & Jouko Väänänen - 2000 - Journal of Symbolic Logic 65 (3):1311-1320.
Weakly Normal Closures of Filters on $P_kappa lambda$.Masahiro Shioya - 1993 - Journal of Symbolic Logic 58 (1):55-63.
Combinatorial characterization of $\Pi^11$ -indescribability in $P{\kappa}\lambda$.Yoshihiro Abe - 1998 - Archive for Mathematical Logic 37 (4):261-272.

Analytics

Added to PP
2013-12-29

Downloads
17 (#867,741)

6 months
4 (#787,709)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reflexivity and self-augmentation.Kumiko Tanaka-Ishii - 2010 - Semiotica 2010 (180):1-17.

Add more citations

References found in this work

Add more references