Interpretations over Heyting's arithmetic by A. Visser