{:rank
 ["history" "languages" "turing_machines" "universal_turing_machine" "lambda_calculus" "arithmetics" "design_of_languages"]}

Index

Computation

In this section we will explore two formalisms of computation:

Turing Machine
$\lambda$-Calculus

Their influences over programming languages

The two formalisms are independently discovered, and are profoundly different from each other. Yet, despite being several decades ago, they both continue to influence the design and development of modern day programming languages.