August 13, 2022

A denotational model of types