Makkai M. and G. E. Reyes (1995). Completeness results for intuitionistic and
modal logic in a categorical setting. Annals of Pure and Applied Logic 72, 25-101.
Gonzalo E. Reyes – Marie La Palme Reyes
From mathematics to literature. – Des mathématiques à la littérature.
Gonzalo E. Reyes - Marie La Palme Reyes 