Cleanの型一意付けについて知りたいんですが。
グラフ理論や項書き換えシステムについて勉強しなきゃいけないんでしょうか？
その場合推薦図書とかあります？