View source for Talk:Proof-nets

=== Exemples significatifs de réseaux ===


==== Laurent ====

Le contre-exemple de David à l'injectivité de la sémantique en lambda-mu-calcul.

	
==== Marc ====

Je propose les zones de communication,  parce que c'est l'exemple typique de
réseau n'ayant pas d'orientation verticale naturelle.


==== Michele ====

* ''reseaux et semantique'': controexemple injectivité dans Coh qui ''vient'' de David-Py (l'originale de David-Py est separé dans Coh); controexemple injectivité Coh sans boite (Lorenzo docet); controexemple injectivité de Rel (:o, non, je rigole, je ne l'ai pas...)
* ''reseaux et elimination de coupures'': controexemple confluence et/ou normalisation en presence de cycle switching ou des types pures; contrexemple à confluence de DiLL sans associativité de (co)contraction.