Als «denotational-semantics» getaggte Fragen

15
Verwendung von Quasi-PERs / difunktionellen Beziehungen / Zick-Zack-Beziehungen?

Bei gegebenen Mengen und B wird eine difunktionelle Beziehung ( ∼ ) ⊆ A × B zwischen ihnen als eine Beziehung definiert, die die folgende Eigenschaft erfüllt:EINEINABBB (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B Wenn und a ' ∼ b ' und a ∼ b ' , dann ist a ' ∼ b . ein∼ba∼ba \sim ba′∼b′a′∼b′a' \sim...

10
Gibt es einen bekannten CCC, der im Rahmen einer probabilistischen Powerdomain-Operation geschlossen wurde?

Gibt es äquivalent eine bekannte Denotationssemantik für probabilistische funktionale Programmiersprachen höherer Ordnung? Insbesondere gibt es ein Domänenmodell eines reinen untypisierten Kalküls, das durch eine symmetrische zufällige binäre Auswahloperation erweitert wird.λλ\lambda Motivation...