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:5319@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20240905T110000
DTEND;TZID=Europe/Paris:20240905T123000
DTSTAMP:20240903T094516Z
URL:https://www.i2m.univ-amu.fr/evenements/inexpressivity-of-higher-order-
 transducers-and-semi-quantitative-semantics-work-in-progress/
SUMMARY:Lê Thành Dũng (Tito) Nguyễn (ÉNS Lyon): Inexpressivity of hig
 her-order transducers and semi-quantitative semantics (work in progress) [
 LSC]
DESCRIPTION:Lê Thành Dũng (Tito) Nguyễn: Our goal is to generalize a l
 ittle-known but powerful "bridge theorem" of Engelfriet and Maneth\, which
  can be used for instance to refute in a few pages the main theorem of a L
 ICS'20 paper\, cf. https://arxiv.org/abs/2301.09234\nThis theorem is about
  the tree-to-string functions computed by safe higher-order transducers. W
 e would like to lift this safety condition (analogous to the one for recur
 sion schemes)\, i.e. generalize the theorem to transducers involving arbit
 rary simply-typed λ-terms. In the unsafe setting\, the known proof techni
 que – which implicitly involves a linearity argument – fails.\nTo solv
 e this problem\, we are led to some plausible conjectures on a non-standar
 d "semi-quantitative" exponential on coherence spaces\, and on a finitary 
 variant of Taylor expansion that only distinguishes between discarded argu
 ments\, linear arguments and arguments used at least twice.\nThis work-in-
 progress is joint with Paweł Parys (MIMUW\, University of Warsaw).
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:Luminy - LIS\, salle 04.05\, Campus de Luminy\, Marseille\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Campus de Luminy\, Marseill
 e\, France;X-APPLE-RADIUS=100;X-TITLE=Luminy - LIS\, salle 04.05:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20240331T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR