Vor kurzem schlug Dana Scott den stochastischen Lambda-Kalkül vor, einen Versuch, probabilistische Elemente in den (untypisierten) Lambda-Kalkül einzuführen, der auf einer Semantik basiert, die als Graph-Modell bezeichnet wird. Sie finden seine Folien online zum Beispiel hier und seinen Artikel im Journal of Applied Logic , vol. 12 (2014).
Durch eine schnelle Suche im Internet fand ich jedoch ähnliche frühere Forschungsergebnisse, zum Beispiel für das Hindley-Milner-Typ-System . Die Art und Weise, wie sie probabilistische Semantik einführen, ähnelt der von Scott (im ersten Fall werden Monaden verwendet, im zweiten Fall wird ein Continuation-Passing-Stil verwendet).
Inwiefern unterscheidet sich die Arbeit von Scott von früheren Arbeiten in Bezug auf die Theorien selbst oder ihre möglichen Anwendungen?