Symmetries in quantitative semantics

Add to your list(s) Download to your calendar using vCal

• Hugo Paquet, University of Oxford
• Friday 10 June 2022, 14:00-15:00
• SS03.

If you have a question about this talk, please contact Jamie Vicary.

‘Quantitative semantics’ refers to a kind of denotational semantics for lambda-calculi that relies on models of linear logic. This includes game semantics and a variety of models based on relations or profunctors.

In this talk I will discuss the symmetries that arise in some of these models, because of the underlying linear structure. The first part of the talk will be about game semantics: I will recall the key ideas, and then give a new description of symmetries as algebraic structure on games and strategies. In the second part, based on joint work with Pierre Clairambault, I will explain how this connects with the symmetries in two other quantitative models based on profunctors and weighted relations.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• SS03
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.