[paper][type]

[type][logic][programming][lambda][functional]

[type_theory]

https://t.co/39VfRmpWxU ITT0だと型は集合として表す感じなんだな。 A type … Aが型 a ∈ A … aの型がA a ＝b ∈ A … aとbが型Aでaとbは等しい A ＝ B … 型Aと型Bは等しい型

https://t.co/39VfRmpWxU ITT0だと型は集合として表す感じなんだな。 A type … Aが型 a ∈ A … aの型がA a ＝b ∈ A … aとbが型Aでaとbは等しい A ＝ B … 型Aと型Bは等しい型

@its_out_of_tune あと「型理論」シリーズ http://t.co/DMUya0cJY1 http://t.co/a6pJ3TFiMY http://t.co/fptcjalwaH http://t.co/ndmFmPcGFs

@ccccccccandy 型推論というか型理論だけなら、基礎論の知識なくてもこの PDF がわかりやすいよー　http://t.co/ufpnR0XL http://t.co/uaVrg0Yc http://t.co/rj5VsHjb http://t.co/28lLSO9O

@fumieval この辺りのはどうでしょう？ http://t.co/ghIaVd4W http://t.co/CAyFBsy7 http://t.co/hb6zxI3l http://t.co/SaOzKwT6