December 5, 2022

A denotational model of types