From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA17198 for caml-redistribution; Mon, 25 Aug 1997 11:34:39 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA03174 for <caml-list@pauillac.inria.fr>; Tue, 19 Aug 1997 11:51:22 +0200 (MET DST)
Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2])
	by concorde.inria.fr (8.8.5/8.8.5) with ESMTP id LAA24490
	for <caml-list@pauillac.inria.fr>; Tue, 19 Aug 1997 11:51:22 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.7.6/8.7.3) with ESMTP id LAA04633 for <caml-list@margaux.inria.fr>; Tue, 19 Aug 1997 11:51:21 +0200 (MET DST)
Received: from mail1.isdnet.net (root@mail1.hol.fr [194.149.160.35])
	by concorde.inria.fr (8.8.5/8.8.5) with ESMTP id LAA24486
	for <caml-list@margaux.inria.fr>; Tue, 19 Aug 1997 11:51:18 +0200 (MET DST)
Received: from [194.149.172.142] (ppp63.par.hol.fr [194.149.172.142]) by mail1.isdnet.net (8.8.5/8.8.5) with SMTP id LAA20327; Tue, 19 Aug 1997 11:51:01 +0200 (CEST)
Message-Id: <199708190951.LAA20327@mail1.isdnet.net>
Subject: Lettre de Caml # 6
Date: Tue, 19 Aug 97 11:53:37 +0200
x-sender: lcheno@pop.hol.fr
x-mailer: Claris Emailer 2.0, March 15, 1997
From: Laurent Ch=?ISO-8859-1?Q?éno?= <laurent.cheno@hol.fr>
To: "Liste de diffusion ups info" <ups-info@enst-bretagne.fr>,
        "Caml list" <caml-list@margaux.inria.fr>
cc: "Pierre Weis" <pierre.weis@inria.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-transfer-encoding: quoted-printable
Sender: weis

(poor english version at the end of the message)

Bonjour !

J'ai le plaisir de vous annoncer la disponibilité du numéro 6 de la
Lettre de Caml à l'URL: 

    http://wwwperso.hol.fr/~lcheno
    
Au sommaire de ce numéro :
   - partitions d'un entier, y compris l'algorithme RSK (et soninverse) ;
   - lambda-calcul : notation de de Bruijn, alpha-équivalence,bêta-réduction.
   
   Toute contribution sera la bienvenue : laurent.cheno@hol.fr

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-==-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

PS : Pierre Weis étant absent (sauf erreur de ma part), j'ai déposé
l'ensemble sur ma page personnelle, ce qui explique le changement d'URL.
D'autre part j'ai tout transformé en PDF qui me semble le plusportable d'une
plate-forme à l'autre ... j'espère que vous n'aurez pas deproblème de
chargement, sinon soyez gentil de me les signaler.
Au passage : les tables des matières sont *actives* en formatpdf... essayez !

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-==-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

I am happy to announce the availability for the "Caml letter, number6" 
(written in French as << La lettre de Caml no 6>>), to be found at: 

  http://wwwperso.hol.fr/~lcheno

Summary :
   - partitions of an integer, including RSK-algorithm (and reverse);
   - lambda-calcul: de Bruijn notation, alpha-equivalence, beta-reduction.

   Any contribution to "The Caml letter" is welcome (laurent.cheno@hol.fr)