Preliminaries

Why Types at All?

Sets and Set Notation

Meet the Universes

Va and Ty, Oh My! If you wish to make an apple pie from scratch, you must first invent the univer...