Paul-André Melliès Chargé de Recherches CNRS Équipe PPS (Preuves Programmes Systèmes) CNRS UMR 7126 Université Paris 7 2, place Jussieu Case 7014 75251 Paris Cedex 05 FRANCE email: mellies@pps.jussieu.fr bu-ro: 5A35 (5ème étage, plateau A) phone: 00 33 1 44 27 86 79 f a x: 00 33 1 44 27 86 54 photo: here i am (blurred)

PPS

• Séminaire PPS
• Groupe de travail PPS << Sémantique >>
• Commande PPS pour la bibliothèque de l'UFR Informatique
• Bibliothèque PPS

Enseignements

• Coordonne le cours Modèle des langages de programmation au Master Parisien de Recherche en Informatique.
• Cours de sémantique des jeux au DEA Preuves et Programmation, avec Vincent Danos (2000-2002) puis Olivier Laurent (2002-2004).
• Cours de réécriture au DEA de Logique de Paris 7 (2001-2002).

Travaux et publications

• On rewriting theory
• On game semantics and linear logic
• On type theory and realizability

Recent slides

• Axiomatic Rewriting Theory VI: Residual theory revisited. Best paper award of the conference RTA 2002.
  
  
• Innocence in homotopy games. A talk at LL 2002 devoted to game semantics and linear logic.
• Axiomatic rewriting theory and explicit substitutions. An invited talk at WESTAPP 2001 devoted to explicit substitutions.
• On head-rewriting paths in the lambda-sigma-calculus. A talk at HOR 2002 devoted to higher-order rewriting.

Back to the Équipe PPS home page.