Event series: The Strachey Lecture, in cooperation with the Federated Logic Conference (FLoc)

10Jul

Unifying logic and probability: The BLOG language

Department of Computer Science