Journée-séminaire de combinatoire

(équipe CALIN du LIPN, université Paris-Nord, Villetaneuse)

Le 18 juillet 2017 à 14h00 en B107, Jean Peyen nous parlera de : Analyse de paramètre dans les lambda termes linaires

Résumé : Nous nous intéresserons d'abord au comportement asymptotique du nombre de variables libres des lambda-termes linéaires uniformément générés. Nous discuterons ensuite de la génération aléatoire de lambda-termes linéaires clos via l'utilisation d'un GPU.

Dernière modification : Tuesday 18 November 2025 Valid HTML 4.01! Valid CSS! Contact pour cette page : Cyril.Banderier at lipn.univ-paris13.fr