| Autor: |
Komori, Yuichi, Matsuda, Naosuke, Yamakawa, Fumika |
| Zdroj: |
Studia Logica; Feb2014, Vol. 102 Issue 1, p175-183, 9p |
| Abstrakt: |
Takahashi translation * is a translation which means reducing all of the redexes in a λ-term simultaneously. In [] and [], Takahashi gave a simple proof of the Church-Rosser confluence theorem by using the notion of parallel reduction and Takahashi translation. Our aim of this paper is to give a simpler proof of Church-Rosser theorem using only the notion of Takahashi translation. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
Full text from SpringerLink