Call-by-Value and Call-by-Name Dual Calculi With Inductive and Coinductive Types