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:5544@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20140116T110000
DTEND;TZID=Europe/Paris:20140116T113000
DTSTAMP:20241030T102148Z
URL:https://www.i2m.univ-amu.fr/evenements/semantical-analysis-of-%ce%bb-c
 alculus-by-differential-linear-logic/
SUMMARY:Alberto Carraro (Università Ca' Foscari\, Venise): Semantical anal
 ysis of λ-calculus by (Differential) Linear Logic
DESCRIPTION:Alberto Carraro: We present some results about the relational s
 emantics of λ-calculus. The standard relational semantics satisfies the s
 o-called Taylor expansion formula and this forces all models of untyped λ
 -calculus in it to be sensible. We illustrate a model\, obtained by modify
 ing the exponential modality\, in which the Taylor formula does not hold\,
  allowing the existence of a non-sensible relational model. For a model in
  the standard semantics we illustrate a syntax in which all points are def
 inable\, leading to a full abstraction result. We then move our attention 
 to call-by-value λ-calculus in the relational semantics. We characterize 
 the solvable terms and we discuss the relationship between the equational 
 theory of a model\, Böhm trees\, and operational equivalence. We will poi
 nt out how all the ideas underlying these results come from (Differential)
  Linear Logic.\n&nbsp\;\n\nhttps://www.dsi.unive.it/~acarraro/
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Alberto_Carraro.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20131027T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR