اسلاید سخنرانی اخیر در دانشگاه صنعتی اراک در مورد رویکردی جدید در مبانی ریاضیات با عنوان هموتوپی تایپ تئوری. اساس این رویکرد بر تعبیر تایپ تئوری در فضاهای هموتوپی است. اما مبانی منطقی انرا به طور مستقل هم میتوان مطالعه کرد.
Homotopy Type Theory
درباره این سایت