publicações Exploiting non-canonicity in the sequent calculus Documento Symmetries and Distances: two intriguing challenges in Mathematical Programming Documento Typage par interprétation abstraite Documento Universal Temporal Concurrent Constraint Programming Documento
