4,192 research outputs found
Chronique musicale
No full textHis Isabelle. Chronique musicale. In: Seizième Siècle, N°4, 2008. pp. 341-344
Chronique musicale
No full textHis Isabelle. Chronique musicale. In: Seizième Siècle, N°5, 2009. pp. 343-346
Chronique musicale
No full textHis Isabelle. Chronique musicale. In: Seizième Siècle, N°5, 2009. pp. 343-346
Chronique musicale
No full textHis Isabelle. Chronique musicale. In: Seizième Siècle, N°4, 2008. pp. 341-344
Chronique musicale 2009
No full textHis Isabelle, Rousseau Cloé. Chronique musicale 2009. In: Seizième Siècle, N°6, 2010. pp. 299-303
Chronique musicale 2009
No full textHis Isabelle, Rousseau Cloé. Chronique musicale 2009. In: Seizième Siècle, N°6, 2010. pp. 299-303
Chronique musicale 2010
No full textHis Isabelle, Rousseau Cloé. Chronique musicale 2010. In: Seizième Siècle, N°7, 2011. pp. 351-353
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
La paraphrase française du Te Deum mise en musique par Claude Le Jeune (1606) : « ingrat labeur » d’Agrippa d’Aubigné ?
No full textHis Isabelle. La paraphrase française du Te Deum mise en musique par Claude Le Jeune (1606) : « ingrat labeur » d’Agrippa d’Aubigné ?. In: Albineana, Cahiers d'Aubigné, 17, 2005. Musique, poésie et vers mesurés, sous la direction de Marie-Madeleine Fragonard et Jean Vignes. pp. 59-74
Quelle musique à la cour de Nérac ?
No full textHis Isabelle. Quelle musique à la cour de Nérac ?. In: Albineana, Cahiers d'Aubigné, 24, 2012. La Cour de Nérac au temps de Henri de Navarre et de Marguerite de Valois, sous la direction de Véronique Ferrer, Catherine Magnien et Marie-Hélène Servet. pp. 157-171
- …
