#21 Denotational Design - Conal Elliott | Type Theory Forall | Podwise