Articles by Samuele Giraudo

Some combinatorial aspects of combinatory logic / Quelques aspects combinatoires de la logique combinatoire

-- Samuele Giraudo (LIGM)

https://bbb.lri.fr/playback/presentation/2.0/playback.html?meetingId=39bbfe5742a821b16c1d6669a8ef00da2d072c73-1617178783965

La logique combinatoire est un formalisme introduit par Schönfinkel dans les années 1920 dans le but de supprimer la nécessité des variables dans les expressions. Ce formalisme donne également lieu à un modèle de calcul très proche du ...

Algèbres de Hopf combinatoires des pros

-- Samuele Giraudo (Paris-Est Marne-la-Vallée)

Un pro est une structure algébrique dont les objets sont des opérations à plusieurs entrées et plusieurs sorties. Ils généralisent en un certain sens les opérades dans lesquelles les opérations n'ont qu'une seule sortie. Si bon nombre de liens entre la théorie des opérades et la combinatoire ont ...