Sign and the lambda-term
Bibliographic Data
| ID | 4475159 |
|---|---|
| Authors | Kumiko Tanaka-Ishii (0000-0003-1752-3951), Yuichiro Ishii |
| Year | 2008 |
| Volume | 2008 |
| Issue | 169 |
| Publication date | 2008-01-01 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Semiotica (JOURNAL) |
| Journal identifiers | ISSN: 0037-1998 • E-ISSN: 1613-3692 |
| Publisher | Walter de Gruyter GmbH (PUBLISHER • DE) |
| DOI | 10.1515/sem.2008.032 |
| OpenAlex | W2042989549 |
| Language | EN |
| Citations received | 1 |
| References cited | 3 |
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
Calculus (dental) · Discrete mathematics · Equivalence (formal languages) · Lambda · Lambda calculus · Mathematical analysis · Physics · Pure mathematics · Quantum mechanics · Sign (mathematics) · System F · Term (time) · Logic, programming, and type systems · Mathematics
| Unique citing works | 1 |
|---|---|
| Citations per year | 0,06 |
| Citation span | 2010 - 2010 (1) |
| Citation velocity | historical |
| Highly cited | No |
| Citation types | Neutral: 1 |