Title: Semantics of type theory
Subjects: Functional programming (Computer science), Programming languages (Electronic computers), Semantics, Type theory