Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cours:c-2-1 [2018/09/13 11:55]
pagani [Plan du cours et intervenants prévus pour 2018-2019]
cours:c-2-1 [2018/10/03 09:21] (current)
pagani [Supports de cours]
Line 104: Line 104:
   -  Introduction à la Logique Linéaire (notes du cours 2016/2017 de R. di Cosmo)  : [[http://www.dicosmo.org/CourseNotes/LinLog/IntroductionLinearLogic.pdf|en anglais]]   -  Introduction à la Logique Linéaire (notes du cours 2016/2017 de R. di Cosmo)  : [[http://www.dicosmo.org/CourseNotes/LinLog/IntroductionLinearLogic.pdf|en anglais]]
   - LL wiki : [[http://llwiki.ens-lyon.fr/mediawiki/index.php/Main_Page|en anglais]]   - LL wiki : [[http://llwiki.ens-lyon.fr/mediawiki/index.php/Main_Page|en anglais]]
-  - Pour les réseaux de preuve de la Logique Linéaire: chapitre 6 des notes de O. Laurent [[http://perso.ens-lyon.fr/olivier.laurent/thdem11.pdf|en français]]+  - Pour les réseaux de preuve de la Logique Linéaire: An introduction to proof-nets de O. Laurent [[http://perso.ens-lyon.fr/olivier.laurent/pn16.pdf|en anglais]]
   -  Interprétation calculatoire des séquents : [[http://www.pps.jussieu.fr/~kesner/enseignement/mpri/ll/|en anglais]]   -  Interprétation calculatoire des séquents : [[http://www.pps.jussieu.fr/~kesner/enseignement/mpri/ll/|en anglais]]
   -  Correspondance de Curry-Howard en Logique Classique : [[http://www.lix.polytechnique.fr/~lengrand/Work/Teaching/MPRI/|en anglais]]   -  Correspondance de Curry-Howard en Logique Classique : [[http://www.lix.polytechnique.fr/~lengrand/Work/Teaching/MPRI/|en anglais]]
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA