Diskussion:System F
Letzter Kommentar: vor 16 Jahren von Tbleher in Abschnitt System F (Lambda-Kalkül)
System F (Lambda-Kalkül)
[Quelltext 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)