Diskussion:System F
aus Wikipedia, der freien Enzyklopädie
System F (Lambda-Kalkül)
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)
