Interaction and Realizability