December 12, 2025

A denotational model of types