Home Members Research Gallery Publications Events Contact Join us ! News: - Avis de Soutenance de Monsieur Thomas Traversié: " Tanslations of Proofs between Higher-Order Logics and between Theories with Rewriting" Conference papers Directions of work or proceedings Preprints, Working papers,...
! News: - Avis de Soutenance de Monsieur Thomas Traversié: " Tanslations of Proofs between Higher-Order Logics and between Theories with Rewriting"
