Visualizing the Turing Tarpit Jason Hemann Eric Holk Indiana University

Source URL: www.cs.indiana.edu

• Applied mathematics
• Iota and Jot
• Combinatory logic
• Beta normal form
• Evaluation strategy
• Jot
• Binary lambda calculus
• Reduction strategy
• Lambda
• Lambda calculus
• Theoretical computer science
• Mathematical logic