F. Gavazzo will present his work on Modal Reasoning = Metric Reasoning, via Lawvere. See https://www.cl.cam.ac.uk/events/owls/
Date: 25 NOVEMBER 2020
Type: Seminar