Book in type-theory Type Theory and Formal Proof: An Introduction (2014) (goodreads.com) ★ - 0 ratings