Lavendhomme R., Lucas Th. and G. E. Reyes (1989). Formal systems for topos-
theoretic modalities. Bull. Soc. math. Belgique (serie A), XLI, Fascicule 2. 333-372.
« Sur la convergence de suites de fonctions suivant des filtres • Montague’s Semantics for Intensional Logic »