Strong Normalization of Pure $\mathit{GL}_w$-$\lambda\mu$-Terms

ダウンロード数: 141

http://hdl.handle.net/2433/61687

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
1021-1.pdf		1.24 MB	Adobe PDF	見る/開く

タイトル:	Strong Normalization of Pure $\mathit{GL}_w$-$\lambda\mu$-Terms
著者:	Fujita, Ken-etsu
著者名の別形:	藤田, 憲悦
発行日:	Dec-1997
出版者:	京都大学数理解析研究所
誌名:	数理解析研究所講究録
巻:	1021
開始ページ:	1
終了ページ:	13
URI:	http://hdl.handle.net/2433/61687
出現コレクション:	1021 sequent calculus と Kripke semanticsに基づく非古典論理学の研究

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