Lionel Vaux, Looking at cut elimination through the lens of Taylor expansion

Schedule