izindi nyenyeri mu nzira ijya nyamata the calculus of constructions can be considered an extension of the curry howard isomorphism ubwo nahubutaha japhet ati kandi uko bwije nuko bukeye