To: seminaire@pauillac.inria.fr From: Didier.Remy@inria.fr Subject: SEM - INRIA : Cristal - 21/10/02 - Paris - FR * *** Cet exposé est annulé *** * Vous pouvez maintenant vous abonner à nos annonces de séminaires http://pauillac.inria.fr/seminaires/subscribe.html S E M I N A I R E . ___ / _ _ / _ / / / \ / \ / / __| / |___ |_/ |_/ / |__ |_/ |_ ___ . / / ___ __ /_ _ / _/ /| /| _ __ __ _ _ / / / /_ / __| / / |/ | / \ /_ / / \ | / __| |___ / / __/ |_ |_/ |_ / | |_/__/ |_ |_/ |/ |_/ I N R I A - Rocquencourt Salle de conference du Bat 11 Lundi 21 octobre, 10h30 -------------- Marino Miculan -------------- Universite d'Udine ================================================================ Formal reasoning on HOAS specifications of nominal calculi using the Theory of Contexts ================================================================ *** annulé *** annulé *** annulé *** annulé *** annulé *** annulé *** annulé *** *** annulé *** annulé *** annulé *** annulé *** annulé *** annulé *** *** *** annulé *** annulé *** annulé *** annulé *** annulé *** annulé *** *** *** annulé *** annulé *** annulé *** annulé *** annulé *** annulé ***