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.
Link identifier #identifier__160526-1Colloquium di Matematica
Link identifier #identifier__190203-2Locandina
This post is also available in:
Link identifier #identifier__27030-5
Eng