Séminaire PPS: Stéphane Gimenez le 30 juin à 11H en 0C2

Bonjour à tous,

Le séminaire PPS va bientôt s'interrompre pour l'été. Ce jeudi, vous êtes invités à écouter Stéphane Gimenez nous présenter l'avant-dernier séminaire de la saison sous le titre

Reducibility Proof for Normalization of Full Differential Linear Logic

Stéphane Gimenez (PPS)

Jeudi 30 juin à 11h en salle 0C2

Résumé:
Realizability methods allowed to prove normalization results on many typed calculi.  Girard adapted these methods to systems of nets and managed to prove normalization of second order Linear Logic.  Our contribution is to provide an extension of this proof that embrace Full Differential Linear Logic (a logic that can describe both single-use resources and inexhaustible resources).  Anchored within the reducibility framework our proof is modular enough so that further extensions (to second order, to additive constructs or to any other independent feature that can be dealt with using reducibility) come for free.

=======

À NOTER: il y aura café, thé, etc... un quart d'heure avant le début du séminaire: venez un peu en avance!

=======

Plus de détails sur le séminaire à http://www.pps.jussieu.fr/seminaire.

Amicalement,

Alexis