Nijmegen Quantum Logic Group

home people seminar

Convexity and Order in Probabilistic Call-by-Name FPC

28 Jan 2016 [ preprint ]

In the present paper, convex dcpos are introduced as dcpos associated with a compatible convex structure. Convex dcpos are later used to adequately interpret PFPC, a probabilistic version of FPC, a functional programming language with recursive types.