October 22, 2024

A denotational model of types