To: seminaire@pauillac.inria.fr
From: Didier.Remy@inria.fr
Subject: SEM - INRIA : Cristal - 16/03/01 - Paris - FR

      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

                          Vendredi 16 mars, 10h30

                               -------------
                               Luigi Liquori
                               -------------

                                   Loria

    ===================================================================
    The Rho-calculus (revisited): its syntax, semantics, and pragmatics
    ===================================================================


   We  will present  a simple  and  uniform presentation  of the  rewriting
   calculus, also called ``Rho Calculus'' (RhoCal).  The RhoCal is a simple
   calculus   that  uniformly  integrates   abstraction  on   patterns  and
   non-determinism.   Therefore,   it   fully  integrates   rewriting   and
   lambda-calculus.

   In addition to its simplicity,  this formulation explicitly allows us to
   encode complex structures such as  lists, sets, and objects.  We provide
   extensive  examples of  the calculus,  and we  focus on  its  ability to
   represent some object oriented  calculi, namely the ``Lambda Calculus of
   Objects'' of Fisher, Honsell,  and Mitchell, and the ``Object Calculus''
   of Abadi and Cardelli.

   We also present a uniform way  to decorate the terms of the calculus with
   types.  This gives raise to a new presentation ```a la Church'', together
   with  nine (8+1)  type systems  which can  be placed  in a  Rho-cube that
   extends the Lambda-cube of Barendregt.

   (joint work with Horatiu Cirstea and Claude Kirchner, LORIA)

   As an appendix, we present the Miro' team, and its main activities.