---

---

slide: The interpretation of types as sets

---