<学術雑誌論文>
COMPARISON OF TWO CATEGORICAL MODELS OF TYPED $ lambda $-CALCULUS

作成者
本文言語
出版者
発行日
収録物名
開始ページ
終了ページ
出版タイプ
アクセス権
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.続きを見る

本文ファイル

pdf p147 pdf 806 KB 280  

詳細

PISSN
EISSN
NCID
レコードID
査読有無
タイプ
登録日 2009.04.22
更新日 2020.10.22

この資料を見た人はこんな資料も見ています