lipn

Laboratoire d'Informatique de Paris Nord

UMR 7030, Université Paris 13, 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

up13 cnrs

Séminaires de l'équipe LCR


   

Vendredi 22 septembre 2017
11:00   Rodolphe Lepigre (Université de Savoie)    Résumé
Circular Proofs for Subtyping and Termination
Salle B107, bâtiment B, Université de Villetaneuse

pres

w3c-xhtml