A Type-Theoretic Framework of Nonstandard Analysis

スポンサーリンク

概要

• 論文の詳細を見る
• 神戸大学の論文

著者

• 勝谷 浩明

  神戸大学大学院自然科学研究科

関連論文

• A Type-Theoretic Framework of Nonstandard Analysis

スポンサーリンク