Simon Boulier, Pierre-Marie Pédrot, Nicolas Tabareau: The next 700 syntactical models of type theory. CPP 2017: 182-194