This paper presents equational-based logics for proving first order properties of programming languages involving effects. We propose two dual inference system patterns that can be instanciated with monads or comonads in order to be used for proving properties of differ...

National audience; à venir

The iconographic, formal and technical analysis of the decoration elements of El Castillo and La Pasiega (Cantabria) highlights a heterogeneous distribution of the main themes, with distribution logics that are very different in each of the caves. In El Castillo, the ma...

International audience; The word “muralnomad” represents somewhat of a starting point: it was coined by Le Corbusier in 1949, and was considered to be the beginning of the renewal of the tapestry. However, Le Corbusier was not the only artist who showed a strong interes...

La récente exposition Beauté, morale et volupté dans l’Angleterre d’Oscar Wilde (Musée d’Orsay, 13 septembre 2011-15 janvier 2012) a remarquablement illustré la façon dont un artiste préraphaélite aussi emblématique que Dante Gabriel Rossetti a contribué à faire glisser...

International audience; As with geography, ceramic decorations are essentially spatial organisations of features. Therefore, they should be analysed with spatial indexes. But spatial analyses, at the shard or the complete ceramic scale, are often difficult to set up, mo...

International audience; Throughout their careers, the Impressionists demonstrated a strong, but rarely examined, interest in decoration. Between 1870 and 1900, a careful examination shows that Pissarro, Degas, Cézanne, Monet, Renoir, Morisot, and Caillebotte continued t...

International audience; During a six week field season in May and June of 2011, the Karnak Hypostyle Hall Project began to record inscriptions on the columns and abacus blocks of the building. This consisted of detailed collation of earlier records of the abacus blocks ...

International audience; The elements of prestigious horse harness of the Early Byzantine origin, decorated withcloisonné inlay style, have long been identified among the steppe nomads of the Post-Hunnic Period (theso-called Shipovo horizon from the second third of the f...

International audience