BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:4981@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20231130T110000
DTEND;TZID=Europe/Paris:20231130T123000
DTSTAMP:20260107T153958Z
URL:https://www.i2m.univ-amu.fr/evenements/algebras-in-relational-semantic
 s/
SUMMARY:Guy McCusker (Bath): Algebras in Relational Semantics
DESCRIPTION:Guy McCusker: The well-known relational semantics of linear log
 ic is constructed out of two kinds of free algebra construction: the power
 set and the set of finite multisets of a set. This model occupies a centra
 l position in denotational semantics. It can interpret typed and untyped l
 ambda-calculus\, and is closely related to non-idempotent intersection typ
 e systems. In this talk we’ll present a viewpoint on this model that bri
 ngs it closer to the approaches of mainstream algebra\, and investigate so
 me variations that are suggested by that point of view\, leading to new mo
 dels\, some of which turn out to be old friends in disguise. This talk rep
 orts on work in progress which has benefited from discussion with Jim Lair
 d\, Pierre Clairambault and Lionel Vaux Auclair.
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20231029T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR