m1-ENSL/CAP
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge branch 'main' of github.com:Drup/cap-lab24

Browse Source
This commit is contained in:
Emma Nardino 2024-09-23 11:44:19 +02:00
commit acf775493d
3 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
PLANNING.md
View File

@ -18,3 +18,13 @@ _Academic first semester 2024-2025_
* A nice YT video on [structural induction](https://www.youtube.com/watch?v=2o3EzvfgTiQ) by F. Pereira. * A nice YT video on [structural induction](https://www.youtube.com/watch?v=2o3EzvfgTiQ) by F. Pereira.
* Fernando Pereira's other videos on operational semantics : [video1](https://www.youtube.com/watch?v=bOzbRhXvtlY), [video2](https://www.youtube.com/watch?v=aiBKOuM5iEA). * Fernando Pereira's other videos on operational semantics : [video1](https://www.youtube.com/watch?v=bOzbRhXvtlY), [video2](https://www.youtube.com/watch?v=aiBKOuM5iEA).
# Week 2:
- :book: Course: Monday 16/09/2024, 13h30-15h30. Amphi SVT (Bio) (Yannick Zakowski)
* Semantics: [transparents](course/capmif_cours_03_semantics.pdf).
- :book: Course: Thursday 19/09/2024, 10h15-12h15. Amphi B (Yannick Zakowski)
* Typing: [transparents](course/capmif_cours_04_typing.pdf).

BIN
course/capmif_cours_03_semantics.pdf Normal file
View File

Binary file not shown.

BIN
course/capmif_cours_04_typing.pdf Normal file
View File

Binary file not shown.