BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Malena Ivnisky (Universidad de Buenos Aires\, Argentina)
DTSTART:20210708T170000Z
DTEND:20210708T180000Z
DTSTAMP:20260423T052455Z
UID:LoReL/8
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LoReL/8/">A 
 finite-dimensional model for affine\, linear quantum lambda calculi with g
 eneral recursion</a>\nby Malena Ivnisky (Universidad de Buenos Aires\, Arg
 entina) as part of LoReL Seminar\n\n\nAbstract\n(joint work with Alejandro
  Díaz-Caro\, Hernán Melgratti\, and Benoît Valiron)\n\nWe introduce a c
 oncrete domain model for the quantum lambda calculus and lambda-rho extend
 ed with a fixpoint operator. A distinctive feature of lambda-rho is that i
 t relies on density matrices for describing both quantum information and p
 robabilistic distributions over computation states. It has been shown that
  there is a conservative translation from lambda-rho to the quantum lambda
  calculus of Selinger and Valiron. In contrast to existing models for quan
 tum lambda calculi featuring recursion with intuitionistic arrows\, our mo
 del is finite-dimensional and does not need more than cones of positive ma
 trices and affine arrows.\n
LOCATION:https://researchseminars.org/talk/LoReL/8/
END:VEVENT
END:VCALENDAR