Outils pour utilisateurs

Outils du site


espace_doctorants:seminaire:20012014

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

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.
espace_doctorants/seminaire/20012014.1389177808.txt.gz · Dernière modification: 2014/01/08 11:43 par juliette