What is a reference for <a href="https://indico.math.cnrs.fr/event/747/contributions/2523/attachments/1818/1962/introductionJoyal.pdf">"the equivalence between geometric theories and frames internal to the free topos"</a>? This seems to be an extremely interesting theorem.