PART III of MPRI 2-02

Models of programming languages
2021-2022

• All lectures will be on site:
  • Friday 4h15 pm - 7h15 pm
  • Room 1004 Sophie Germain


• Lecture 28/01/2022
  introduction to probabilistic PCF, syntax, examples of programs
  • preliminary notes to 28 Jan.(pdf)


• Lectures 4/02/2022 and 11/02/2022
  examples of programs in pPCF. Introduction to probabilistic coherence spaces
  • preliminary notes to 4 Feb.(pdf)


• Lecture 18/02/2022
  denotations of pPCF in PCOH, examples
  • preliminary notes to 18 Feb.(pdf)
  • this lecture is exceptionnaly in hybrid mode: the best is to be in room 1004, but if not possible you can connect to zoom:
    • https://u-paris.zoom.us/j/81290020131?pwd=VnVROEpnYUtKckJFRnUzTFBCdXVRdz09
    • ID: 812 9002 0131
    • Secret Code: 140380


• Lecture 4/03/2022
  denotations of pPCF in PCOH, examples. Soundness, adequacy and full abstraction
  • final notes 2021-2022.(pdf)