Logical Dynamics of Information and Interaction: Computation as conversation