Concepts, Syntax, and their Interface

A systematic exposition of Reinhart's Theta System, with extensive annotations and essays that capture subsequent developments.