Lambda-Kalkül als universelles Modell



Johannes Waldmann 2012-01-30