「型の理論」と証明支援システム — Coqの世界

2013年12月16日　マルレク 現在、HoTT(Homotopy Type Theory)と呼ばれる新しい型の理論とそれを基礎付けるUnivalent Theoryと呼ばれる新しい数学理論が、熱い関心を集めている。Un […]