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:7377@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20180215T110000
DTEND;TZID=Europe/Paris:20180215T123000
DTSTAMP:20241120T203933Z
URL:https://www.i2m.univ-amu.fr/evenements/refutation-of-salle-s-longstand
 ing-conjecture/
SUMMARY:Giulio Manzonetto (LIPN\, Université Paris 13): Refutation of Sall
 é's Longstanding Conjecture
DESCRIPTION:Giulio Manzonetto: The lambda-calculus possesses a strong notio
 n of extensionality\, called "the omega-rule"\, which has been the subject
  of many investigations. It is a longstanding open problem whether the equ
 ivalence obtained by closing the theory of Böhm trees under the omega-rul
 e is strictly included in Morris's original observational theory\, as conj
 ectured by Sallé in the seventies. We will first show that Morris's theor
 y satisfies the omega-rule. We will then demonstrate that the two aforemen
 tioned theories actually coincide\, thus disproving Sallé's conjecture. T
 he proof technique we develop is general enough to provide as a byproduct 
 a new characterization\, based on bounded eta-expansions\, of the least ex
 tensional equality between Böhm trees.\n\n\n
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 018/02/Giulio_Manzonetto.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20171029T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR