APA (7th ed.) Citation

Pitts, A. M., & Dybjer, P. (1997). Semantics and logics of computation. Cambridge University Press.

Chicago Style (17th ed.) Citation

Pitts, A. M., and Peter Dybjer. Semantics and Logics of Computation. Cambridge: Cambridge University Press, 1997.

MLA (8th ed.) Citation

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

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