|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/7887
|
| タイトル: | Perpetuality and uniform normalization |
| 著者: | Khasidashvili, Zurab
Ogawa, Mizuhito |
| 発行日: | 1997 |
| 出版者: | Springer |
| 誌名: | Lecture Notes in Computer Science |
| 巻: | 1298 |
| 開始ページ: | 240 |
| 終了ページ: | 255 |
| DOI: | 10.1007/BFb0027014 |
| 抄録: | We define a perpetual one-step reduction strategy which enables one to construct minimal (w.r.t. Levy's ordering LeftTriangleEqual on reductions) infinite reductions in Conditional Orthogonal Expression Reduction Systems. We use this strategy to derive two characterizations of perpetual redexes, i.e., redexes whose contractions retain the existence of infinite reductions. These characterizations generalize existing related criteria for perpetuality of redexes. We give a number of applications of our results, demonstrating their usefulness. In particular, we prove equivalence of weak and strong normalization (the uniform normalization property) for various restricted λ-calculi, which cannot be derived from previously known perpetuality criteria. |
| Rights: | This is the author-created version of Springer, Zurab Khasidashvili and Mizuhito Ogawa, Lecture Notes in Computer Science, 1298, 1997, 240-255. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/BFb0027014 |
| URI: | http://hdl.handle.net/10119/7887 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| alp97.pdf | | 236Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
