ダウンロード数: 205

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1217_03.pdf452.39 kBAdobe PDF見る/開く
タイトル: A Proof of the Standardization Theorem in $\lambda$-Calculus (Towards new interaction between category theory and proof theory)
著者: Kashima, Ryo
著者名の別形: 鹿島, 亮
発行日: Jun-2001
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1217
開始ページ: 37
終了ページ: 44
URI: http://hdl.handle.net/2433/41230
出現コレクション:1217 圏論と証明論の新たな融合を目指して

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。