اسلاید: Homotopy Type Theory
پنجشنبه, ۱۴ شهریور ۱۳۹۸، ۰۶:۳۵ ب.ظ
اسلاید سخنرانی اخیر در دانشگاه صنعتی اراک در مورد رویکردی جدید در مبانی ریاضیات با عنوان هموتوپی تایپ تئوری. اساس این رویکرد بر تعبیر تایپ تئوری در فضاهای هموتوپی است. اما مبانی منطقی انرا به طور مستقل هم می‌توان مطالعه کرد.
- ۹۸/۰۶/۱۴