An orthogonality theorem in Hyperdoctrines Date(s) : 12/02/2015 iCal11 h 00 min - 12 h 00 min TBA Webpage“>Webpage Catégories Pas de Catégories