Derivation and computation : taking the Curry-Howard correspondence seriously - Simmons, Harold (Cambridge Tracts in Theoretical Computer Science, 2000)