Skip to top bar Skip to header Skip to content Skip to footer

Bookmarks Bookmarks of the following user: Mgr. Matej Kollár, učo 208115 with the tag: type FI:IB016! Tato aplikace je zatím určena pro spuštění na stolním počítači. Na tomto mobilním zařízení je také funkční, ale zatím plně nevyužívá jeho možností.

Tato aplikace je zatím určena pro spuštění na stolním počítači. Na tomto mobilním zařízení je také funkční, ale zatím plně nevyužívá jeho možností.

Bookmarks of the following user: Mgr. Matej Kollár, učo 208115 with the tag: type FI:IB016!

Bookmarks: hot | popular | recent • tags

Bookmarks of the following user: Mgr. Matej Kollár, učo 208115 with the tag: type FI:IB016!

Homotopy Type Theory: Univalent Foundations of Mathematics
my tags: FI:IB016! FI:IB015 cteni ebook book PříF:M7150 FI:IA014! education theory type
1 user, first 10/5/2015, Matej Kollár, bookmarks, people
Advanced Topics in Programming Languages (Homotopy type theory)
my tags: FI:IB016! FI:IB015 PříF:M7150 FI:IA014! education theory type course | other users' tags: FI:IB016 FI:IA014 PříF:M7151 PříF:M8250
2 users, first 8/3/2015, Juraj Major, bookmarks, people

Special thanks to del.icio.us for inspiring us.