Title: A programming logic based on type theory
Subjects: Symbolic and mathematical Logic, Programming languages (Electronic computers), Semantics, Type theory