Παραπομπή APA

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

Παραπομπή Chicago Style

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

Παραπομπή MLA

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

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.