Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Robert J. Irwin. Review of Derivation and Computation: Taking the Curry-Howard Correspondence Seriously by Harold Simmons, Cambridge University Press, 2000. SIGACT News, 39(2):42-44, 2008. [doi]
Abstract is missing.