3,767 research outputs found
DURAND Hippolyte Théodore Marie
No full textHavelange Isabelle, Huguet Françoise, Lebedeff-Choppin Bernadette. DURAND Hippolyte Théodore Marie. In: Havelange Isabelle, Huguet Françoise, Lebedeff-Choppin Bernadette. Les inspecteurs généraux de l'Instruction publique. Dictionnaire biographique 1802-1914. Paris : Institut national de recherche pédagogique, 1986. pp. 328-329. (Histoire biographique de l'enseignement, 11
Les auteurs
No full textGilles BonnetUniversité Lyon III, groupe Marge, EA CEDFL Jean-Baptiste BruneauUniversité de Bretagne Sud, SOLITO-CERHIO Yves ClavaronUniversité de Saint-Étienne, CELEC EA 3069 Flavia ContiUniversité de Rome « Sapienza » Raffik DarragiUniversité de Tunis Maria de Fatima MarinhoUniversité de Porto Isabelle Durand-Le guernUniversité de Bretagne Sud, HCTI EA 4249 Bilge ErtugrulUniversité Paris I Ioana GalleronUniversité de Bretagne Sud, HCTI EA 4249 Mariannick GuennecUniversité ..
La fratrie des enfants de David dans le théâtre espagnol du Siècle d’or : valeur culturelle, théâtrale et morale d'un trio incestueux et fratricide
No full textSous la direction de Isabelle Durand et Benoît Jeanjean.International audienc
Claude Durand, Michelle Durand, de l'os à l'ingénieur : carrière ou classe sociale, Paris, les éditions ouvrières, (Relations sociales), 1971
No full textBaudry de Vaux Marie, Ceccaldi Sylviane, de Lassus Isabelle, Crine Grégory, Tissot Françoise. Claude Durand, Michelle Durand, de l'os à l'ingénieur : carrière ou classe sociale, Paris, les éditions ouvrières, (Relations sociales), 1971. In: Formation Emploi. N.76, 2001. Numéro spécial : 30 ans d'analyses des relations entre travail, emploi et formation. p. 117
Claude Durand, Michelle Durand, de l'os à l'ingénieur : carrière ou classe sociale, Paris, les éditions ouvrières, (Relations sociales), 1971
No full textBaudry de Vaux Marie, Ceccaldi Sylviane, de Lassus Isabelle, Crine Grégory, Tissot Françoise. Claude Durand, Michelle Durand, de l'os à l'ingénieur : carrière ou classe sociale, Paris, les éditions ouvrières, (Relations sociales), 1971. In: Formation Emploi. N.76, 2001. Numéro spécial : 30 ans d'analyses des relations entre travail, emploi et formation. p. 117
Cut-elimination, substitution and normalisation
No full textDate of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term calculus, and with a particular strongly normalising and confluent system of cut-reduction rules, every reduction step has, as its natural deduction translation, a sequence of zero or more reduction steps (detour reductions, permutation reductions or simplifications). This complements and (we believe) clarifies earlier work by (e.g.) Zucker and Pottinger on a question raised in 1971 by Kreisel.Peer reviewe
Les auteurs
No full textAdadjidi Priscille, université de Paris X. Benoit Jean-Louis, université de Bretagne Sud, Lorient – ADICORE. Besson Anne, université d’Artois, Arras. Broche Laurent, université de Toulouse – le Mirail. Burle Élodie, université d’Aix-en-Provence. Casset Marie, université de Bretagne Sud – SOLITO. Demartini Dominque, université de Paris III. Durand-Le Guern Isabelle, université de Bretagne Sud, Lorient – ADICORE. Durante Erica, université de Paris III. Dobenesque Étienne, université de Paris VI..
Le Moyen Âge des romantiques
No full textIsabelle Durand-Le Guern s’attache à faire émerger les diverses représentations du Moyen Âge, telles qu’élaborées et véhiculées par les romantismes allemand, anglais et français. C’est en effet un Moyen Âge rêvé, recomposé que nous donnent à voir les œuvres romantiques, un Moyen Âge dans lequel s’expriment moins des réalités historiques que les fantasmes d’une génération romantique porteuse de bouleversements esthétiques et idéologiques. L’exploration des différents genres littéraires – conte..
L’oeuvre de Françoise Aubin : Principaux apports dans le champ de la sinologie
No full textCharleux Isabelle, Durand-Dastès Vincent, Goossaert Vincent, Hille Marie-Paule. L’oeuvre de Françoise Aubin : Principaux apports dans le champ de la sinologie. In: Études chinoises, vol. 36, n°1,2017. pp. 9-20
- …
