Fully Abstract Models of the Probabilistic lambda−calculus
Pierre Clairambault and Hugo Paquet
Book Title
27th EACSL Annual Conference on Computer Science Logic‚ CSL 2018‚ September 4−7‚ 2018‚ Birmingham‚ UK
Pages
16:1–16:17
Year
2018
Pierre Clairambault and Hugo Paquet