![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Hugo Paquet, University of Oxford
Friday 10 June 2022, 14:00-15:00
Symmetries in quantitative semantics
- đ¤ Speaker: Hugo Paquet, University of Oxford
- đ Date & Time: Friday 10 June 2022, 14:00 - 15:00
- đ Venue: SS03
Abstract
‘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.
Series This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- Martin's interesting talks
- School of Technology
- SS03
- tcw57âs list
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.