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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change