University of Cambridge > > Logic and Semantics Seminar (Computer Laboratory) > Symmetries in quantitative semantics

Symmetries in quantitative semantics

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

  • UserHugo Paquet, University of Oxford
  • ClockFriday 10 June 2022, 14:00-15:00
  • HouseSS03.

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity