Université Paris 7, PPS

• Infographie – M1
• Programmation en C – LBI
• Programmation en Java – M1BI
• Formats de documents XML – M1 : la page du cours est sur moodle.

• On equivalence classes of interpolation equations (1995)
• Decidability of all minimal models (1996)
• Decidability of fourth-order matching (2000)

     in Mathematical Structures in Computer Science
     Volume 19/Issue 03/June 2000, pp 361-372
     Copyright ©Cambridge University Press 2012
     DOI:https://doi.org/10.1017/S0960129500003108

• Retracts in simple types (2001)
• Ticket Entailment is decidable (2012)

     in Mathematical Structures in Computer Science
     Volume 23/Issue 03/June 2013, pp 568-607
     Copyright ©Cambridge University Press 2012
     DOI:http://dx.doi.org/10.1017/S0960129512000412

• Ticket Entailment is decidable (Curry-Howard: Logic and Computation, 2014)
• Constructive characterisations of the must-preorder for asynchrony (with G. Bernardi, I. Castellani, P. Laforgue & L. Stefanesco, 2026)

This document was translated from L^AT_EX by H^EV^EA.