Search results for "Lorde"
showing 3 items of 3 documents
Biodechlord : à la recherche de traces de dégradation microbienne du chlordécone dans les sols contaminés des Antilles
2014
Session 5 - Milieux impactés / Impacted mediaSession 5 - Milieux impactés / Impacted media; Objectives: Chlordecone was intensively used in the French West Indies (FWI) to control the banana weewil. Recent surveys showed that arable soils cropped with banana, representing up to 20,000 ha, are contaminated this insecticide with concentrations ranging between 0.2 and 37.4 mg kg−1. Chlordecone was classified as a persistent organic pollutant in May 2009. It is not only contaminating soil resources but also water resources where it is often detected. This insecticide is bioaccumulated in different plant and animals thereby contaminating the food chain causing an important human health. This con…
Wellfounded Trees and Dependent Polynomial Functors
2004
We set out to study the consequences of the assumption of types of wellfounded trees in dependent type theories. We do so by in- vestigating the categorical notion of wellfounded tree introduced in [16]. Our main result shows that wellfounded trees allow us to define initial algebras for a wide class of endofunctors on locally cartesian closed cat- egories.
Atlantin ylityksiä : amerikkalaisen kirjallisuuden- ja kulttuurintutkimuksen navigointia 1965-1995
2011
Teoriat muuttuvat paitsi aikaa myös paikkaa myöten. Kirjassa tutkitaan eurooppalaisen, varsinkin ranskalaisen teorian Atlantin ylityksiä. Millaisiksi eräät keskeiset teoriaotteet muotoutuivat yhdysvaltalaisessa yliopistomaailmassa ja kohdatessaan uudet poliittiset ja kulttuuriset haasteet? Tämän muotoutumisen vaikutukset näkyvät vuorostaan muualla. Ajanjakso on 1965–1995. "Korkean teorian" nousu liittyi kielelliseen käänteeseen ja perustojen horjumiseen, ja sen erilaisten muotojen ja myös vastustamisen tarkastelu ulottuu kielen merkityksiä hajottavasta retorisuudesta valtarakenteiden marxilaiseen analyysiin, afrikkalaisamerikkalaiseen feminismiin ja "orientalismin" symboliseen tuottamiseen …