ダウンロード数: 261
タイトル: | 環境と文脈を持つ計算体系とその論理 |
著者: | 佐藤, 雅彦 |
著者名の別形: | Sato, Masahiko |
キーワード: | 文脈 超変数 変数の衝突 対象言語 メタ言語 環境 文法的対象 Meta Language 合流性 Variable Collision Meta Variable 計算体系 Object Language 型理論 強正規化性 Context Syntactic Object |
発行日: | Mar-2004 |
出版者: | 京都大学 |
記述: | 平成13-15度科学研究費補助金(基盤研究(B)(2))研究成果報告書 課題番号:13480082 研究代表者:佐藤雅彦 (京都大学情報学研究科) |
著作権等: | 学術雑誌掲載論文の抜き刷り、出版社に著作権許諾が得られていないため未掲載。 |
URI: | http://hdl.handle.net/2433/84882 |
関連リンク: | http://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-13480082/ |
出現コレクション: | 情報学研究科 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。