BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Rafael Romero (Universidad de Buenos Aires\, Argentina)
DTSTART:20210701T170000Z
DTEND:20210701T180000Z
DTSTAMP:20260423T052326Z
UID:LoReL/7
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LoReL/7/">A 
 note on confluence in typed probabilistic lambda calculi</a>\nby Rafael Ro
 mero (Universidad de Buenos Aires\, Argentina) as part of LoReL Seminar\n\
 n\nAbstract\n(joint work with Alejandro Díaz-Caro)\n\nOn the topic of pro
 babilistic rewriting\, there are several works studying both termination a
 nd confluence of different systems. While working with a lambda calculus m
 odelling quantum computation\, we found a system with probabilistic rewrit
 ing rules and strongly normalizing terms. We examine the effect of small m
 odifications in probabilistic rewriting\, affine variables\, and strategie
 s on the overall confluence in this strongly normalizing probabilistic cal
 culus.\n
LOCATION:https://researchseminars.org/talk/LoReL/7/
END:VEVENT
END:VCALENDAR