Hi Steven, I will check it out. What I like about Cardelli's handbook article is how he lays down type systems in programming languages as its own thing. This

Hi Steven, I will check it out. What I like about Cardelli's handbook article is how he lays down type systems in programming languages as its own thing. This is inspired by logic but definitely not the same - just as mathematical logic can well be called the origin of programming languages and PL semantics but then there is so much knowledge, difference in purpose and practical concerns that separate the two fields.