Login / Signup
Review of "Derivation and Computation: Taking the Curry-Howard Correspondence Seriously by Harold Simmons, " Cambridge University Press, 2000.
Robert J. Irwin
Published in:
SIGACT News (2008)
Keyphrases
</>
e learning
case study
search engine
educational environment
online reviews
real time
image matching
hong kong
feature matching
efficient computation
stanford university