Alpha-conversion

From PKC
Revision as of 02:20, 19 January 2022 by Benkoo (talk | contribs)
Jump to navigation Jump to search

conversion is also a kind of naming abstraction.

Godel Numbering

Think about variables in terms of special numbers. This is an insight from Godel[1][1], and later utilized to created Universal computation.

References

  1. ↑ 1.0 1.1 Scott, Dana (Oct 12, 2017). Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017. local page: LambdaConf.  Cite error: Invalid <ref> tag; name "Scott Part 2" defined multiple times with different content

Related Pages

Retrieved from "https://pkc.pub/index.php?title=Alpha-conversion&oldid=21268"