Difference between revisions of "Dana Scott on Lambda Calculus"
Jump to navigation
Jump to search
(Created page with "Prof. Dana Scott gave a few talks on Lambda Calculus, and some of them are available on Youtube. A list of them can be found here: {{#ask: Category:Dana Scott on Lambda Cal...") |
|||
| Line 1: | Line 1: | ||
Prof. Dana Scott gave a few talks on Lambda Calculus, and some of them are available on Youtube. | Prof. Dana Scott gave a few talks on Lambda Calculus, and some of them are available on Youtube. | ||
=Once you define Topology, you may define continuous functions= | |||
[[https://youtu.be/S1aoZb7vF4M?t=3300 Define Continuous Functions]] | |||
A list of them can be found here: | A list of them can be found here: | ||
Revision as of 02:33, 19 January 2022
Prof. Dana Scott gave a few talks on Lambda Calculus, and some of them are available on Youtube.
Once you define Topology, you may define continuous functions
A list of them can be found here: