| 作成者 |
|
| 本文言語 |
|
| 出版者 |
|
|
|
| 発行日 |
|
| 収録物名 |
|
| 巻 |
|
| 号 |
|
| 開始ページ |
|
| 終了ページ |
|
| 出版タイプ |
|
| アクセス権 |
|
| Crossref DOI |
|
| 関連DOI |
|
|
|
| 関連URI |
|
|
|
| 関連情報 |
|
|
|
| 概要 |
This paper contains an interpretation of de Bruijn's name-free expression in $ mathrm{C} &-monoid. We show that certain construction of $ mathrm{C} $-monoid (Kleisli C-monoid) corresponds with the exp...ression of $ lambda $-calculus by de Bruijn's name-free expression. In particular, the procedure of substitution in de Bruijn's name-free expression, which is more accurate than that in calculus, is systematically characterized in $ mathrm{C} $-monoid.続きを見る
|
Mendeley出力
