A Lambda Calculus Satellite

A Lambda Calculus Satellite

Versandkostenfrei!
Versandfertig in 1-2 Wochen
35,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
18 °P sammeln!
In 1936 the notion of intuitive computability was operationalized in two different ways: via Turing machines and via lambda-calculus. The difference consisted in manipulating beads (bits) for the former approach versus manipulating trees (rewriting lambda-terms) for the latter. Both proposals turned out to formalize the same notion of computability, and led to the Church-Turing Thesis, claiming that intuitive computability is captured in the correct way. This resulted in the foundation of imperative and functional programming. Variants of lambda-calculus are being used in another powerful fiel...