On Semantics of a Term Calculus for Classical Logic Silvia Likavec, Pierre Lescanne (2012) Publications de l'Institut Mathématique
Opérateurs de mise en mémoire et types ∀ -positifs Karim Nour (1996) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications