Video/Dana S. Scott Lambda Calculus, Then and Now

From PKC
Revision as of 07:16, 3 August 2022 by Benkoo (talk | contribs)
Jump to navigation Jump to search

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

{{#ev:youtube |7cPtCpyBPNI|||||start=666 }} This video at around 11 minutes, Scott talks about why Alonzo Church chose the alphabet to distinguish his method from others.

References


Related Pages

Local Links
Video/Dana S. Scott Lambda Calculus, Then and Now
Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018
Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 2) - λC 2018
Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 3) - λC 2018
Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 4) - λC 2018
Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 5) - λC 2018
Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 6) - λC 2018
Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 1 of 5 - λC 2017
Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017
Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 3 of 5 - λC 2017
Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 4 of 5 - λC 2017
Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 5 of 5 - λC 2017
Video/Stochastic Lambda-Calculus

References


Related Pages

Presented by:Dana Scott


Retrieved from "https://pkc.pub/index.php?title=Video/Dana_S._Scott_Lambda_Calculus,_Then_and_Now&oldid=34253"