1Hitze
1Antwort
Ist \ x-> y Alpha äquivalent zu \ y-> y?
1Hitze
1Antwort
eine Funktion Inject vor Körper andere Funktion in Lambda-Kalkül
0Hitze
1Antwort
2Hitze
1Antwort
If-Verzweigung und Rekursion in eifriger Auswertung codieren
-5Hitze
1Antwort
Haskell Lambda Alpha Equivalence
1Hitze
1Antwort
Lambda-Kalkül: Rekursive Definition von Capture Vermeidung von Substitution
0Hitze
1Antwort
4Hitze
1Antwort
Lambda-Kalkül in C: Booleans und NOT-Operator
1Hitze
1Antwort
wenn Reduzierung der Lambda-Differentialrechnung stoppen
0Hitze
1Antwort
Alpha-Äquivalenz zwischen Variablen in Lambda-Kalkül