1. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof;Andrews,2002
2. Partial logic;Blamey,2011
3. Foundations of Object-Oriented Languages: Types and Semantics;Bruce,2002
4. A minimalistic many-valued theory of types;Běhounek;J. Log. Comput.,2017
5. A formulation of the simple theory of types;Church;J. Symb. Log.,1940