Semantics of Type Theory (1991)

by T Streicher
Venue:Progress in Theoretical Computer Science