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.