Chargement de la vue.
Séminaire Algo: Alexandros Singh (LIPN, Univ. Paris Nord) « Combinatorics of the lambda-calculus and maps: bijections and limit properties »
Sciences 3- S3 351This talk concerns maps (graphs embedded on surfaces), the linear lambda-calculus, and their combinatorial interactions. Using a combination of new bijective and analytic techniques, we will explore the structure of … Continue reading Séminaire Algo: Alexandros Singh (LIPN, Univ. Paris Nord) « Combinatorics of the lambda-calculus and maps: bijections and limit properties »