Full Abstraction for the Quantum Lambda-Calculus (GaLoP 2019 - 14th Workshop on Games for Logic and Programming Languages)

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Pierre Clairambault, Marc De Visme

Track

GaLoP 2019

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 7 Apr 2019 13:30 - 14:00 at S3 - VII

Abstract

In this talk we report on a work in progress towards exploiting a boundedness property enjoyed by our recent games model of the quantum lambda-calculus, to prove full abstraction. Our methodology is inspired from Ehrhard, Pagani and Tasson’s celebrated result on full abstraction for probabilistic PCF.

Pierre Clairambault

CNRS & ENS Lyon

France

Marc De Visme

ENS Lyon