Skip to main content

On proof nets and complexity

Willem Heijltjes ( University of Bath )

In this talk I will look at some recent and some very recent developments in linear logic proof nets.

Share this: