直観主義型理論
ISBN 9780198538141. http://www.cs.chalmers.se/Cs/Research/Logic/book/
Thompson, Simon (1991). Type Theory and Functional Programming. Addison-Wesley. ISBN 0-201-41667-0. http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/
Granström, Johan G. (2011). Treatise on Intuitionistic Type Theory. Springer. ISBN 978-94-007-1735-0. https://www.springer.com/philosophy/book/978-94-007-1735-0