概要TaPLと略されるTypes and Programming Languagesという本があります。この本の６章が少し難しいという話があったので読んでみたところ、確かにある程度数学に慣れてい…