テンプレート:Haskell chapter/Wider Theory

表示的意味論
圏論
カリー=ハワード同型
不動点と再帰