Outils pour utilisateurs

Outils du site


espace_doctorants:seminaire:20012014

Différences

Cette page vous affiche les différences entre la révision choisie et la version actuelle de la page.

Lien vers cette vue comparative

espace_doctorants:seminaire:20012014 [2014/01/08 10:43]
juliette créée
espace_doctorants:seminaire:20012014 [2014/01/08 10: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 10:43 par juliette