- Présentation
- Procédures administratives
- Formation doctorale
- Appels d'offres
- Espace Doctorants
Outils pour utilisateurs
Panneau latéral
espace_doctorants:seminaire:20012014
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.
espace_doctorants/seminaire/20012014.txt · Dernière modification: 2014/01/08 11:50 par juliette
Outils de la page
