Plus de détails ainsi que les archives des exposés passés se trouvent sur la page du séminaire.
Évènement à venir
- Profinite lambda-terms and parametricity - 01/06/2023 - 11 h 00 min - 12 h 30 min
- Journées LHC et Métayer à Paris - 06/06/2023 - 09/06/2023 - Toute la journée
- Séminaire Chocola à Lyon - 15/06/2023 - Toute la journée
- Strategies as Resource Terms, and their Categorical Semantics - 22/06/2023 - 11 h 00 min - 12 h 30 min