March 23, 2026

A denotational model of types