Masahiro Sakai
-
2013-03-03T11:11:02+0000
- 更新日時:
2013-03-03T11:11:02+0000
面白そう。 | Parametricity, Quotient types, and Theorem transfer
Galois - Blog - Tech Talk: Parametricity, Quotient types, and Theorem transfer
共有中: 一般公開
