Advanced Topics in Programming Languages (Homotopy type theory)
Users Using the Tag
8. 3. 2015, Juraj Major, učo 396325, people
10. 5. 2015, Matej Kollár, učo 208115, people
Special thanks to del.icio.us for inspiring us.