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