Articles by Samuele Giraudo
Some combinatorial aspects of combinatory logic / Quelques aspects combinatoires de la logique combinatoire
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
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 ...