www.iep.utm.edu

Lambda calculi (λ-calculi)

“The variety and expressiveness of these calculi yield results in formal logic, recursive function theory, the foundations of mathematics, and programming language theory.”

from Facebook https://ift.tt/2Cck6Rz
via IFTTT

Leave a comment

Your email address will not be published. Required fields are marked *


5 − = four

Leave a Reply