圏論と証明論の新たな融合を目指して : 短期共同研究
著者
書誌事項
圏論と証明論の新たな融合を目指して : 短期共同研究
（数理解析研究所講究録, 1217）
京都大学数理解析研究所, 2001.6
- タイトル別名
-
Towards new interaction between category theory and proof theory
- タイトル読み
-
ケンロン ト ショウメイロン ノ アラタナ ユウゴウ オ メザシテ : タンキ キョウドウ ケンキュウ
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
短期研究報告集: 2000年12月12日-15日. 研究代表者: 長谷川立
参考文献あり
