2,091 research outputs found
Saint-Romain-le-Puy (Loire). Église du prieuré.
No full textParron Isabelle, Reynaud Jean-François. Saint-Romain-le-Puy (Loire). Église du prieuré.. In: Archéologie médiévale, tome 20, 1990. pp. 392-393
Margaret Maruani, Ennanuèle Reynaud, Sociologie de l'emploi, Paris, la Découverte, (Repères), 2004 (4è éd.)
No full textBaudry de Vaux Marie, Ceccaldi Sylviane, Chabert Christine, de Lassus Isabelle, Thévenot Magali. Margaret Maruani, Ennanuèle Reynaud, Sociologie de l'emploi, Paris, la Découverte, (Repères), 2004 (4è éd.). In: Formation Emploi. N.88, 2004. p. 98
Margaret Maruani, Ennanuèle Reynaud, Sociologie de l'emploi, Paris, la Découverte, (Repères), 2004 (4è éd.)
No full textBaudry de Vaux Marie, Ceccaldi Sylviane, Chabert Christine, de Lassus Isabelle, Thévenot Magali. Margaret Maruani, Ennanuèle Reynaud, Sociologie de l'emploi, Paris, la Découverte, (Repères), 2004 (4è éd.). In: Formation Emploi. N.88, 2004. p. 98
L’Osmothèque : une bibliothèque des évanescences, Entretien avec Isabelle Reynaud-Chazot
No full textEntretie
L’Osmothèque : une bibliothèque des évanescences, Entretien avec Isabelle Reynaud-Chazot
No full textEntretie
Patrick Fridenson, Bénédicte Reynaud (Dirs.), La France et le temps de travail (1814-2004), Paris, Odile Jacob, 2004
No full textBaudry de Vaux Marie, Ceccaldi Sylviane, Crine Grégory, de Lassus Isabelle, Thévenot Magali. Patrick Fridenson, Bénédicte Reynaud (Dirs.), La France et le temps de travail (1814-2004), Paris, Odile Jacob, 2004. In: Formation Emploi. N.86, 2004. p. 99
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
Peter Auer, Margaret Maruani, Emmanuèle Reynaud (Dirs.), Chroniques internationales du marché du travail et des politiques d'emploi, 1986-1989, Paris, la Documentation française, (Le point sur), 1990
No full textBaudry de Vaux Marie, Ceccaldi Sylviane, de Lassus Isabelle, Crine Grégory, Tissot Françoise. Peter Auer, Margaret Maruani, Emmanuèle Reynaud (Dirs.), Chroniques internationales du marché du travail et des politiques d'emploi, 1986-1989, Paris, la Documentation française, (Le point sur), 1990. In: Formation Emploi. N.76, 2001. Numéro spécial : 30 ans d'analyses des relations entre travail, emploi et formation. p. 161
Annette Jobert, Jean-Daniel Reynaud, Jean Saglio, Michèle Tallard (Dirs.), Les conventions collectives de branche : déclin ou renouveau ?, Marseille, Céreq, (Des études, n° 65), 1993
No full textBaudry de Vaux Marie, Ceccaldi Sylviane, de Lassus Isabelle, Crine Grégory, Tissot Françoise. Annette Jobert, Jean-Daniel Reynaud, Jean Saglio, Michèle Tallard (Dirs.), Les conventions collectives de branche : déclin ou renouveau ?, Marseille, Céreq, (Des études, n° 65), 1993. In: Formation Emploi. N.76, 2001. Numéro spécial : 30 ans d'analyses des relations entre travail, emploi et formation. p. 163
Peter Auer, Margaret Maruani, Emmanuèle Reynaud (Dirs.), Chroniques internationales du marché du travail et des politiques d'emploi, 1986-1989, Paris, la Documentation française, (Le point sur), 1990
No full textBaudry de Vaux Marie, Ceccaldi Sylviane, de Lassus Isabelle, Crine Grégory, Tissot Françoise. Peter Auer, Margaret Maruani, Emmanuèle Reynaud (Dirs.), Chroniques internationales du marché du travail et des politiques d'emploi, 1986-1989, Paris, la Documentation française, (Le point sur), 1990. In: Formation Emploi. N.76, 2001. Numéro spécial : 30 ans d'analyses des relations entre travail, emploi et formation. p. 161
- …
