logo
homotopy type theory

نتائج المؤتمرات (1)

Logical Foundations of Computer Science (LFCS)

Rank: National: USAOnline
No location
TBD
constructive mathematics and type theoryhomotopy type theorylogic+26 المزيد