Outils pour utilisateurs

Outils du site


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