On the relation between a type theoretic and a logical formulation of the theory of constructionsby Jan SmithWriting a summary for young readers…For young readersBook data: Open Library