April 14, 2026

A denotational model of types