Difference between revisions of "Lambda Calculus"

From PKC
Jump to navigation Jump to search
Line 3: Line 3:
=[[Lambda Calculus]] and [[Abstract Syntax Tree]]=
=[[Lambda Calculus]] and [[Abstract Syntax Tree]]=
All decision making procedures can be represented into three major kinds of branching:
All decision making procedures can be represented into three major kinds of branching:
# [[Naming]]
# [[<math>\alpha</math> conversion]]:Naming Abstraction
# [[Typing]]
# [[<math>\beta</math> conversion]]:Branching Abstraction
# [[Applying]]
# [[<math>\gamma</math> conversion]]:Typing Abstraction


This three types also relates to the reason why [[Kan Extension]] is universal.
This three types also relates to the reason why [[Kan Extension]] is universal.

Revision as of 02:11, 19 January 2022

Lambda calculus is a universal/Turing-complete language specification invented by Alonzo Church, that is considered to be mathematically elegant, due to its small size. Almost all text-based formal languages are defined using Lambda calculus. To learn about its history, it is recommended to watch this video by Dana Scott[1].

Lambda Calculus and Abstract Syntax Tree

All decision making procedures can be represented into three major kinds of branching:

  1. [[ conversion]]:Naming Abstraction
  2. [[ conversion]]:Branching Abstraction
  3. [[ conversion]]:Typing Abstraction

This three types also relates to the reason why Kan Extension is universal.


References

  1. ↑ Scott, Dana (Aug 24, 2012). Dana S. Scott Lambda Calculus, Then and Now. local page: princetonacademics. 

Related Pages

D
J
L
P
Q
T
V
V cont.
V cont.

Retrieved from "https://pkc.pub/index.php?title=Lambda_Calculus&oldid=21260"