Semantics of Type Theory (1991)

by Streicher
Venue:in the series Progress in Theoretical Computer Science