Types and Programming Languages (The MIT Press)

２１章を読み始めた。'Metatheory of Recursive Types'というタイトルで、induction, coinduction, F-closed, F-consistent, fixed pointというキーワードで特徴付けられるような話が展開されている。なかなか目が慣れなくて現状青息吐息。１ページ理解するのに大変時間がかかる。