October 22, 2026

A denotational model of types