Lambda-arvutus

Lambda-arvutus (λ-arvutus) on formaalne arvutuste esitusviis. Seda kasutatakse matemaatilises loogikas ja funktsionaalprogrammeerimises.


From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne