Diskussion:System F

Letzter Kommentar: vor 16 Jahren von Tbleher in Abschnitt System F (Lambda-Kalkül)

System F (Lambda-Kalkül)

Bearbeiten

Ich habe gerade den Link für den System F Lambda-Kalkül angepasst. Ich bin mit der Beschreibung noch nicht ganz glücklich, bessere Vorschläge herzlich willkommen. Die alte Beschreibung war jedoch falsch, weil System F zwar sehr mächtig, aber nicht Turing-vollständig ist. --Tbleher 09:33, 23. Apr. 2008 (CEST)Beantworten