How accessible is the book (the google preview on that page does not help assessing how complex the text is) ? I guess it's better to start with "Types and programming languages" by the same author ? I don't have a formal education in these topics.