May 28, 2023

A denotational model of types