LambdaCalculus hat noch keine Antworten geschrieben.