プログラミング言語の基礎概念
https://gyazo.com/fff352ddc59cc161aa60217ae02d612b
読んだ。帰納法をこねこねしながらプログラミング言語の意味論や型システムの入門をする本