Jump to ContentJump to Main Navigation
Show Summary Details
More options …


Journal of the International Association for Semiotic Studies / Revue de l'Association Internationale de Sémiotique

Editor-in-Chief: Danesi, Marcel

IMPACT FACTOR 2018: 0.509

CiteScore 2018: 0.23

SCImago Journal Rank (SJR) 2018: 0.232
Source Normalized Impact per Paper (SNIP) 2018: 0.478

Agenzia Nazionale di Valutazione del Sistema Universitario e della Ricerca: Classe A

See all formats and pricing
More options …
Volume 2008, Issue 169


Sign and the lambda-term

Kumiko Tanaka-Ishii / Yuichiro Ishii
Published Online: 2008-04-24 | DOI: https://doi.org/10.1515/SEM.2008.032


We examine lambda calculus as a sign system and show that it explains important properties of language. First, we verify that a lambda-term has two essential functionalities of signs — articulation and naming — and argue that a lambda-term can thus be regarded as a sign model. Then, when signs are defined by self-reference, we show that these two functionalities become tightly coupled and that dyadic/triadic sign models become equivalent. Last, we show that the difference of structuralism is explained in relation to the undecidability of the equivalence of two arbitrary lambda-terms.

Keywords:: sign; lambda-term; lambda calculus; self-reference; undecidability of equivalence

About the article

Published Online: 2008-04-24

Published in Print: 2008-04-01

Citation Information: Semiotica, Volume 2008, Issue 169, Pages 197–220, ISSN (Online) 1613-3692, ISSN (Print) 0037-1998, DOI: https://doi.org/10.1515/SEM.2008.032.

Export Citation

Citing Articles

Here you can find all Crossref-listed publications in which this article is cited. If you would like to receive automatic email messages as soon as this article is cited in other publications, simply activate the “Citation Alert” on the top of this page.

Kumiko Tanaka-Ishii
Semiotica, 2010, Volume 2010, Number 180, Page 1

Comments (0)

Please log in or register to comment.
Log in