Fixed Caja and Eichman references. Added citations for Curry-Howard.