Write a continuation for this paragraph - W reprezentacji Brazylii Cristóvão zadebiutował 12 kwietnia 1989 w wygrananym 2-0 towarzyskim meczu z reprezentacją Paragwaju. Cristóvão wszedł na boisko w 74 min. meczu zastępując Bobô i w 80 min. strzelił pierwszą bramkę dla Brazylii. W tym samym roku uczestniczył w Copa América 1989
, który Brazylia wygrała. Cristóvão był rezerwowym i nie wystąpił w żadnym meczu. Ostatni raz w reprezentacji wystąpił 23 lipca 1989 w wygranym 1-0 towarzyskim meczu z reprezentacją Japonii. Ogółem w reprezentacji wystąpił w 7 meczach i strzelił 3 bramki.