Ci-dessous, les différences entre deux révisions de la page.
espace_doctorants:seminaire:20012014 [2014/01/08 11:43] juliette créée |
espace_doctorants:seminaire:20012014 [2014/01/08 11:50] (Version actuelle) juliette |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
- | Résumé à venir! | + | Je commencerai par présenter le λ-calcul, puis une variante linéaire qui nous intéresse : le λ-calcul avec ressources. Je définirai ensuite ce que j'appelle relations familliales et les problèmes qui se posent. |