Domains and Lambda-Calculi

Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.