On proof nets and complexity
Willem Heijltjes ( University of Bath )
- 14:00 4th March 2016 ( week 7, Hilary Term 2016 )Lecture Theatre B
In this talk I will look at some recent and some very recent developments in linear logic proof nets.
Share this:
