Gegenwärtig erfolgt die Berechnung von Real in den meisten gängigen Sprachen immer noch über Gleitkommaoperationen. Andererseits haben Theorien wie die Typ-2-Effektivität (TTE) und die Domänentheorie lange Zeit eine genaue Berechnung der Realzahlen versprochen. Das Problem der Fließkommapräzision...
Ist das folgende Manuskript öffentlich verfügbar? Dana Scott, 1969, Eine Theorie von berechenbaren Funktionen höheren Typs . Unveröffentlichte Seminarunterlagen, 7 Seiten, University of Oxford. In Abschnitt 8.1.2, Typen als Mengen , in Cardone & Hindley, 2006 History of Lambda-calculus and...
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen:...
Die Definition von "algebraische poset" in Continuous Gitter und Domains , Definition I-4.2, sagt , dass für alle ,x∈Lx∈Lx \in L die Menge sollte eine gerichtete Menge sein, undA(x)=↓x∩K(L)A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) .x=⨆(↓x∩K(L)x=⨆(↓x∩K(L)x = \bigsqcup ({\downarrow} x \cap K(L)...
\newcommand{\symp}{\Bumpeq} Eine Kohärenzbeziehung auf einer Menge X ist eine reflexive und symmetrische Beziehung. Ein Kohärenzraum ist ein Paar (X, \ symp_X) , und ein Morphismus f: X \ zu Y zwischen Kohärenzräumen ist eine Beziehung f \ subseteq X \ mal Y, so dass für alle (x, y) \ in f und (x...
Wenn ich mich mit domänentheoretischen Kategorien befasse (z. B. CPO und CPO), wünsche ich mir häufig ein Wörterbuch für die Sprache der Kategorietheorie in der Domänentheorie.ωω\omega Das heißt, wenn ein Konzept gegeben ist, sagen wir monischer Pfeil, könnte ich es im Wörterbuch nachschlagen und...
Smyths Kapitel im Handbuch der Logik in der Informatik und andere Referenzen beschreiben, wie metrische Räume als Domänen verwendet werden können. Ich verstehe, dass vollständige metrische Räume eindeutige Fixpunkte ergeben, aber ich verstehe nicht, warum metrische Räume wichtig sind. Ich würde...
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...