Skip to content

Fully Abstract Models of the Probabilistic lambda-calculus.

Pierre Clairambault, Hugo Paquet

VenueBCSL
Year2018
ProceedingsCSL

Browse the full CSL paper archive.