作成者 |
|
本文言語 |
|
出版者 |
|
|
発行日 |
|
収録物名 |
|
巻 |
|
号 |
|
開始ページ |
|
終了ページ |
|
出版タイプ |
|
アクセス権 |
|
Crossref DOI |
|
関連DOI |
|
|
関連URI |
|
|
関連情報 |
|
|
概要 |
This paper discusses a relation between two categorical models of typed $ lambda $-calculus which are both cartesian closed categories. One of them has a concept of variables in it. The other does not... have such concept and based on de Bruijn's name-free expression. We show that the second one is obtained by certain construction over cartesian closed category and they are isomorphic from the categorical point of view.続きを見る
|