6,818 followers
@LawrPaulson @EscardoMartin John Reynolds was my teacher and we discussed various topics in semantics of PL. I would not say that his primary view of type systems was “syntactic”. In 2003 he wrote a paper “What to types mean? — From intrinsic to extrinsic