Review: Harold Simmons, Derivation and Computation. Taking the Curry-Howard Correspondence Seriously
Norman Danner
Source: Bull. Symbolic Logic Volume 7, Number 3 (2001), 380-383.
Reviewed Works:
Harold Simmons, Derivation and Computation. Taking the Curry-Howard Correspondence Seriously.
Full-text: Remote access
If you are a member of the ASL, log in to Euclid for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.bsl/1182353805
JSTOR: links.jstor.org
