Lettre de Caml # 6

Laurent Ch=?ISO-8859-1?Q?=e9no?= (laurent.cheno@hol.fr)
Tue, 19 Aug 97 11:53:37 +0200

Message-Id: <199708190951.LAA20327@mail1.isdnet.net>
Subject: Lettre de Caml # 6
Date: Tue, 19 Aug 97 11:53:37 +0200
From: Laurent Ch=?ISO-8859-1?Q?=e9no?= <laurent.cheno@hol.fr>
To: "Liste de diffusion ups info" <ups-info@enst-bretagne.fr>,

(poor english version at the end of the message)

Bonjour !

J'ai le plaisir de vous annoncer la disponibilit=E9 du num=E9ro 6 de =
la Lettre de Caml
=E0 l'URL:

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

Au sommaire de ce num=E9ro :
- partitions d'un entier, y compris l'algorithme RSK (et son =
inverse) ;
- lambda-calcul : notation de de Bruijn, alpha-=E9quivalence, =
b=EAta-r=E9duction.

Toute contribution sera la bienvenue : laurent.cheno@hol.fr

=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D=
-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=
=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-

PS : Pierre Weis =E9tant absent (sauf erreur de ma part), j'ai =
d=E9pos=E9 l'ensemble sur
ma page personnelle, ce qui explique le changement d'URL.
D'autre part j'ai tout transform=E9 en PDF qui me semble le plus =
portable d'une
plate-forme =E0 l'autre ... j'esp=E8re que vous n'aurez pas de =
probl=E8me de chargement,
sinon soyez gentil de me les signaler.
Au passage : les tables des mati=E8res sont *actives* en format =
pdf... essayez !

=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D=
-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=
=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-

I am happy to announce the availability for the "Caml letter, number =
6"
(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)