概要 TaPLと略されるTypes and Programming Languagesという本があります。 この本の６章が少し難しいという話があったので読んでみたところ、確かにある程度数学に慣れていないと難しそうな記述があったので、その気持を簡単に理解することに努めます。...