From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id B7ABE7EFCD
	for <caml-list@sympa.inria.fr>; Mon, 13 Oct 2014 17:51:25 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ah4KAET0O1RKN1ZKlWdsb2JhbABbFoNLgjuBI8gdh1ECgTMBEQEBAQEHDQkJEjCEAwEBAwEjVgULCxoCJgICRxAGG4guCASvfZUZAQEBBwIBH4EsjmYzB4J3NoEeAQSTAIM7iD48hWQYO4lyh3eDNAEBAQ
X-IPAS-Result: Ah4KAET0O1RKN1ZKlWdsb2JhbABbFoNLgjuBI8gdh1ECgTMBEQEBAQEHDQkJEjCEAwEBAwEjVgULCxoCJgICRxAGG4guCASvfZUZAQEBBwIBH4EsjmYzB4J3NoEeAQSTAIM7iD48hWQYO4lyh3eDNAEBAQ
X-IronPort-AV: E=Sophos;i="5.04,711,1406584800"; 
   d="scan'208";a="100903186"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Oct 2014 17:51:24 +0200
Received: from [172.20.10.2] (19-237.197-178.cust.bluewin.ch [178.197.237.19])
	by smtp.webfaction.com (Postfix) with ESMTP id 565632265F4D;
	Mon, 13 Oct 2014 15:51:22 +0000 (UTC)
Date: Mon, 13 Oct 2014 17:51:25 +0200
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: =?utf-8?Q?Jean-Michel_Pour=C3=A9_-_GOOZE?= <jmpoure@gooze.eu>
Cc: caml-list@inria.fr
Message-ID: <1FAABB597F8D4364AED80FCA6499BA5B@erratique.ch>
In-Reply-To: <1413210757.16678.5.camel@gooze.eu>
References: <1413210757.16678.5.camel@gooze.eu>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Subject: Re: [Caml-list] =?UTF-8?Q?CAML_resources_for_mathematicians_/_Fre?=
 =?UTF-8?Q?nch_agr=C3=A9gation?=



Le lundi, 13 octobre 2014 =C3=A0 16:32, Jean-Michel Pour=C3=A9 - GOOZE a =
=C3=A9crit :

> I am a French student preparing for competitive examination (agr=C3=A9gat=
ion
> in Mathematics) alone (that's the trick) and I am looking for resources
> around algorithm, automata, calculus and logic with examples in CAML.

If you broaden your scope to ML languages you may find the following book o=
f interest (I never read it though):

http://homepages.cwi.nl/~jve/HR/

Daniel