Re: HDR

Laurent Méhats <[email protected]> Mon, 10 Jan 2011 19:09:49 +0100

Newsgroups	gmane.science.mathematics.frogs
Message-ID	<[email protected]>

Le 07/01/2011 11:43, Lutz Strassburger a écrit :
> 
> Hi Frogs,
> 
> my habilitation thesis
> "Towards a Theory of Proofs of Classical Logic"
> 
> is available here:
> <http://www.lix.polytechnique.fr/~lutz/papers/HDR.pdf>
> 
> The public defense takes place today at 14:00 at Ecole Polytechnique
> (Amphi Bequerel).
> 
> Best wishes,
> Lutz

Congratulations ! And incidentally, happy new year :)

See you,
Laurent