Title: Semantics of Type Theory
Subjects: Mathematics, Computer science, Functional programming (computer science), Programming languages (electronic computers), Logic, symbolic and mathematical