APA (7th ed.) Citation

Dybjer, P., & Pitts, A. M. Semantics and Logic of Computation. Cambridge University Press.

Chicago Style (17th ed.) Citation

Dybjer, Peter, and A. M. Pitts. Semantics and Logic of Computation. Cambridge University Press.

MLA (8th ed.) Citation

Dybjer, Peter, and A. M. Pitts. Semantics and Logic of Computation. Cambridge University Press.

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