March 5, 2026

A denotational model of types