Review of "Derivation and Computation: Taking the Curry-Howard Correspondence Seriously by Harold Simmons," Cambridge University Press, 2000

• Authors:

• Robert J. Irwin

• Affiliations:

• Hamilton College

• Venue:
• ACM SIGACT News
• Year:
• 2008