Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types (Logical Methods in Computer Science, 2013)