talkThe reasonable effectiveness of linear logic in quantitative methods