Advanced Topics in Programming Languages (Homotopy type theory)
Všechna použití záložky
8. 3. 2015, Juraj Major, učo 396325, lidé
10. 5. 2015, Matej Kollár, učo 208115, lidé
Děkujeme del.icio.us za inspiraci.