Semantics of Type Theory
Thomas Streicher · Birkhäuser Boston eBooks · 1991
Typing plays an important role in software development. Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a prog