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 بیشتر