Colloquium di Matematica tenuto dal Prof. Lionel Vaux Auclair

Mercoledì 22 aprile alle ore 16:00, il Prof. Lionel Vaux Auclair (Université d'Aix-Marseille) terrà un Colloquium di Matematica dal titolo "Lambda-calculus, linear logic, and all that...".

Abstract:
After a brief (and hopefully gentle) overview of the Curry-Howard correspondence between proofs and programs, I will present recent advances in the theory of the lambda-calculus and linear logic, with connections to various fields of mathematics:
* combinatorics, via differential linear logic;
* graph theory, via proof nets;
* topological dynamics, via the infinitary lambda-calculus.

Il seminario si svolgerà in presenza presso il Dipartimento di Matematica e Fisica, Lungotevere Dante 376, aula M1.

Colloquium di Matematica

Locandina