# Annale PPC 2020
###### tags: `PPC` `examen`
### Notions présentes dans l'examen
- Réduction de processus
- Modélisation en $\pi$-calcul
- Bisimilarité
- Types simples
- Expression en $\pi$-calul typable ou pas
- Types sangiorgi
- Termination de programme
- Sessions ?