APA (7th ed.) Citation

Simmons, H. (2000). Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons: Taking the Curry-Howard correspondence seriously. Cambridge University Press.

Chicago Style (17th ed.) Citation

Simmons, Harold. Derivation and Computation : Taking the Curry-Howard Correspondence Seriously / Harold Simmons: Taking the Curry-Howard Correspondence Seriously. Cambridge: Cambridge University Press, 2000.

MLA (9th ed.) Citation

Simmons, Harold. Derivation and Computation : Taking the Curry-Howard Correspondence Seriously / Harold Simmons: Taking the Curry-Howard Correspondence Seriously. Cambridge University Press, 2000.

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