Title: Mu and mu tilde:  two useful combinators
Speaker: Pierre-Louis Curien (CNRS and Univ. Paris Diderot)
Time: 10:30, August 30th, 2013
Venue: Lecture Room, 3rd Floor, Building #5, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
In my work with Hugo Herbelin, and then with my student Guillaume Munch, we explored term syntaxes for sequent calculus (for classical logic) I recently found that the same style of syntax allows for a neat description of the wiring structures underlying operads, cooperads…, which are used  in contemporary algebra to describe various types of algebras and coalgebras. Under this new light, the fundamental non-determinism of classical logic appears to match the notion of duplicial algebra, proposed by the late mathematician Jean-Louis Loday among a wealth of new algebraic structures which he unveiled over the last 20 years or so.Information about Pierre-Louis Curien is available at http://www.pps.univ-paris-diderot.fr/~curien/.