@inproceedings{DBLP:conf/csl/ClairambaultP18,
  title = "Fully Abstract Models of the Probabilistic lambda-calculus",
  author = "Pierre Clairambault and Hugo Paquet",
  year = "2018",
  booktitle = "27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018, September 4-7, 2018, Birmingham, {UK}",
  pages = "16:1--16:17",
  url = "https://doi.org/10.4230/LIPIcs.CSL.2018.16",
  doi = "10.4230/LIPIcs.CSL.2018.16",
}