Transforming Classical Mathematics in Type Theory, Revisited
이름: Sewon Park
직함: 박사
소속: Kyoto University
주최: 컴퓨터공학부
날짜: 2034/6/11 오후 11:00 - 2034/6/12 오전 12:30
위치: 301동 118호
요약
유형 이론에서의 고전 수학 형식화 연구의 후속입니다.
세미나는 한국어 또는 영어로 진행되며, AR 안경 실시간 자막을 제공합니다.
연사 소개
Sewon Park은(는) Kyoto University 소속으로 Transforming Classical Mathematics in Type Theory, Revisited 분야를 연구합니다. (가상 인물)