30 avril 2018
Olivier Bodini (LIPN - Univ Paris 13)Nous présenterons quelques résultats récents sur les aspects quantitatifs en lambda calcul. Notre approche repose sur la méthode symbolique et quelques bijections. Nous essaierons de donner quelques idées sur la formes génériques d’un lambda terme aléatoire.