Transforming Classical Mathematics in Type Theory, Revisited
Speaker
Sewon Park · 박사 · Kyoto University
Summary
유형 이론에서의 고전 수학 형식화 연구의 후속입니다.
세미나는 한국어 또는 영어로 진행되며, AR 안경 실시간 자막을 제공합니다.
Speaker Introduction
Sewon Park은(는) Kyoto University 소속으로 Transforming Classical Mathematics in Type Theory, Revisited 분야를 연구합니다. (가상 인물)