Type Theory

Birkhäuser

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Cambridge University Press

Introduction to Homotopy Type Theory: 219 (Cambridge Studies in Advanced Mathematics, Series Number 219)

Homotopy Type Theory (paperback)                

Cambridge University Press

Type Theory and Formal Proof: An Introduction (English Edition)

nai010 uitgevers/publishers

Theory of type design                            

Springer

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series)

Elsevier

Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics, Volume 141)

Andrew Drenth

The 16 Personality Types: Profiles, Theory, & Type Development

Cambridge University Press

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Dover

Classical Field Theory (Dover Books on Physics)