Curry-Howard Correspondence for Implicational Intuitionistic Logic