1 paper · 1 filter
Arnoud van der Leer, Kobe Wullaert, Benedikt Ahrens
Lambek and Scott constructed a correspondence between simply-typed lambda calculi and Cartesian closed categories. Scott's Representation Theorem is a cousin to this result for unt…