Type Theory Forall - #21 Denotational Design - Conal Elliott
Sign in to continue reading, translating and more.