「同じ」を考える — 「型の理論」入門

2019年1月29日 「楽しい数学」 第四夜

「同じ」を考える — 「型の理論」入門

概要:https://mathnight4.peatix.com/view
資料:http://bit.ly/2QVBqk4