Iš Gvildenu svetainės

Book: HomotopyTypeTheory

Rimvydas Krasauskas and I are getting together to study homotopy type theory, including Voevodsky's work.

Readings

Videos

Rimvydas Krasauskas's interests

Concepts:

Parsiųstas iš http://www.ms.lt/sodas/Book/HomotopyTypeTheory
Puslapis paskutinį kartą pakeistas 2016 gruodžio 04 d., 07:41