Suchergebnisse für Anfrage "lambda-calculus"
Ist es für Interaktionsnetze üblich, überflüssige Lüfter zu hinterlassen?
Ich kompiliere Lambda-Kalkül-Terme zu Interaktionsnetzen, um sie mit Lampings abstraktem Algorithmus auszuwerten. Um meine Implementierung zu testen, habe ich diese Funktion der Kirchennummernteilung verwendet: div = (λ a b c d . (b (λ e . (e ...
Gibt es eine effiziente Möglichkeit, eine unäre Zahl in eine binäre Zahl umzuwandeln?
Stellen diese Datentypen unäre bzw. binäre natürliche Zahlen dar: data UNat = Succ UNat | Zero data BNat = One BNat | Zero BNat | End u0 = Zero u1 = Succ Zero u2 = Succ (Succ Zero) u3 = Succ (Succ (Succ Zero)) u4 = Succ (Succ (Succ (Succ ...
Seite 2 von 2