ミヨシ ヒロユキ
MIYOSHI HIROYUKI
三好 博之
所属
京都産業大学 理学部 数理科学科
職種
教授
発表年月日
2000
発表テーマ
subrecursions and categories
会議名
短期共同研究「圏論と証明論の新しい融合を目指して」
発表形式
その他