APA Citation

Farmer, W. M. Simple type theory: A practical logic for expressing and reasoning about mathematical ideas (Second edition.).

Chicago Style Citation

Farmer, William M. Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas. Second edition.

MLA Citation

Farmer, William M. Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas. Second edition.

Warning: These citations may not always be 100% accurate.