Articles de cet auteur
Apr 25
(English) Talk by Maribel Fernandez, 26 April
Nominal Completion for Rewrite Systems with Binders Talk by Maribel Fernandez. Joint work with Albert Rubio. Venue: Salle de reunion, 10h30 Thursday 26 April 2012 Nominal rewriting generalises first-order rewriting by providing support for the specification of binding operators, using the nominal approach. In this talk, I will present a new ordering that can be used to …
Apr 19
(English) Two talks for Friday, 4 May 2012
Désolé, cet article est seulement disponible en Anglais Américain.
Apr 11
(English) Workshop on « Cross Perspectives on Proof Systems and their significance »
Désolé, cet article est seulement disponible en Anglais Américain.
Apr 05
(English) Celebration of the career of Peter Andrews
Désolé, cet article est seulement disponible en Anglais Américain.
Mar 30
(English) CFP: CPP 2012 – 2nd International Conference on Certified Programs and Proofs
Désolé, cet article est seulement disponible en Anglais Américain.
Mar 29
(English) ASL special session on Structural Proof Theory and Computing
Désolé, cet article est seulement disponible en Anglais Américain.
Mar 19
(English) Chuck Liang speaks at GdT Théorie des types et réalisabilité
Désolé, cet article est seulement disponible en Anglais Américain.
Mar 16
(English) Intern starts today
Désolé, cet article est seulement disponible en Anglais Américain.
Mar 15
(English) Guenot and Miller speak at ChoCola, Lyon
Désolé, cet article est seulement disponible en Anglais Américain.
Mar 15
(English) Chuck Liang speaks 20 March 14h
Désolé, cet article est seulement disponible en Anglais Américain.