Categoria:
Altro (categoria non censita)
Categoria non censita:
Colloquium di Matematica
Data e ora inizio evento:
Data e ora fine evento:
Aula:
Altro (Aula esterna al Dipartimento)
Sede:
Dipartimento di Matematica e Fisica, Università degli Studi Roma Tre
Aula esterna:
Aula M1, blocco aule
Speaker:
Lionel Vaux Auclair (Université d'Aix-Marseille)
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.
Contatti/Organizzatori:
luca.battaglia@uniroma3.it