ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 13:30 - 14:00 at S3 - VII

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.

Sun 7 Apr

galop-2019-papers
13:30 - 15:30: GaLoP - VII at S3
galop-2019-papers13:30 - 14:00
Talk
Pierre ClairambaultCNRS & ENS Lyon, Marc De VismeENS Lyon
galop-2019-papers14:00 - 14:30
Talk
galop-2019-papers14:30 - 15:00
Talk
galop-2019-papers15:00 - 15:30
Talk
Abhishek DeIRIF, CNRS, France, Alexis Saurin