APA (7th ed.) Citation
Thompson, S. (1991). Type Theory and Functional Programming. Addison-Wesley.
Chicago Style (17th ed.) Citation
Thompson, Simon. Type Theory and Functional Programming. [S. l.]: Addison-Wesley, 1991.
MLA (9th ed.) Citation
Thompson, Simon. Type Theory and Functional Programming. Addison-Wesley, 1991.
Warning: These citations may not always be 100% accurate.