BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.4.5//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:9273@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20261001T110000
DTEND;TZID=Europe/Paris:20261001T123000
DTSTAMP:20260928T214156Z
URL:https://www.i2m.univ-amu.fr/evenements/unification-via-the-segal-condi
 tion-internally-to-the-%ce%bb-calculus/
SUMMARY:Vincent Moreau (Tallinn University of Technology): Unification via 
 the Segal condition internally to the λ-calculus
DESCRIPTION:Vincent Moreau: In this talk\, I present ongoing work relating 
 unification\, simplicial structures\, and higher-order regular languages. 
 My starting point is the fact that Higman's order between finite words can
  naturally be enhanced to a structure of category that internalizes in the
  simply typed λ-calculus. In turn\, it can be decomposed as a cocategory\
 , which we reconstruct in a principled way via the bar construction. Final
 ly\, I will show that the associated Segal condition amounts to the existe
 nce of a number of colimits in the free cartesian closed category\, akin t
 o pushout-product constructions\, and that these have a natural interpreta
 tion in terms of unification. If time permits\, I will talk about directio
 ns to extend these internal categorical structures from words to trees wit
 h an eye towards approximants and Böhm trees.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:Luminy - LIS\, salle 04.02\, 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.02:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20260329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR