RE: HDR

Richard Blute <rblute-870xbScz6v+w5LPnMra/[email protected]> Mon, 10 Jan 2011 08:28:22 +0000

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

I'm sure frogpeople everywhere will be happy to learn that Lutz's habilitat=
ion
was a great success. His talk was an excellent advertisement for deep infer=
ence=20
and categorical logic.

cheers
Rick



________________________________________
From: l. s. [[email protected]] on behalf of Lutz Strassburger [lutz@li=
x.polytechnique.fr]
Sent: Friday, January 07, 2011 5:43 AM
To: Frogs
Subject: [Frogs] HDR

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