Dana Scott on Lambda Calculus
Revision as of 02:38, 19 January 2022 by Benkoo (talk | contribs) (→Once you define Topology, you may define continuous functions)
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
Define Continuous Functions The main difficulty is that there are two quantifiers, forming a rational number A list of them can be found here: