De lambdacalculus is een model van berekening dat in
1936 geïntroduceerd werd door
Alonzo Church en Stephen Kleene in hun speurtocht naar de limieten van de
berekenbaarheid. In de informatica vormt het de basis voor
functionele programmeertalen.We onderscheiden twee vormen van lambdacalculus: de getypeerde lambdacalculus en de (oudere) ongetypeerde lambdacalculus. In eerste instantie zullen we de ongetypeerde lambdacalculus en haar rol binnen de
informatica beschrijven, daarna de moeilijkheden die binnen dit systeem bestaan en tenslotte de getypeerde varianten bespreken.
Zie meer op Wikipedia.org...
Free Download Now!
