View Detailed Profile
Dana S. Scott: Lambda Calculus, Then and Now

Dana S. Scott: Lambda Calculus, Then and Now

Dana Scott

Dana Scott – Lambda Calculus, Forcing & the Foundations of Math | #14 aboutlogic

Dana Scott – Lambda Calculus, Forcing & the Foundations of Math | #14 aboutlogic

Your support helps us keep these conversations going! If you'd like to contribute, you can buy us a coffee here: ...

Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018

Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018

slides: https://github.com/lambdaconf/lambdaconf-2018/tree/master/LC18-slides/LambdaCalculusWithScott%26Siek ...

Dana Scott - Theory and Models of Lambda Calculus  Untyped and Typed - Part 1 of 5 - λC 2017

Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 1 of 5 - λC 2017

Description: The formal systems that are nowadays called

Stochastic Lambda-Calculus

Stochastic Lambda-Calculus

Dana Scott

Dana Scott - Theory and Models of Lambda Calculus  Untyped and Typed - Part 3 of 5 - λC 2017

Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 3 of 5 - λC 2017

Description: The formal systems that are nowadays called

Dana Scott on lambda notation

Dana Scott on lambda notation

Dana Scott on lambda notation

Dana Scott - Theory and Models of Lambda Calculus  Untyped and Typed - Part 4 of 5 - λC 2017

Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 4 of 5 - λC 2017

Description: The formal systems that are nowadays called

Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 2) - λC 2018

Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 2) - λC 2018

slides: https://github.com/lambdaconf/lambdaconf-2018/tree/master/LC18-slides/LambdaCalculusWithScott%26Siek ...

Dana Scott - Theory and Models of Lambda Calculus  Untyped and Typed - Part 5 of 5 - λC 2017

Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 5 of 5 - λC 2017

Description: The formal systems that are nowadays called

Programming with Math | The Lambda Calculus

Programming with Math | The Lambda Calculus

The

Dana Scott - Theory and Models of Lambda Calculus  Untyped and Typed - Part 2 of 5 - λC 2017

Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017

Description: The formal systems that are nowadays called

LogicLounge with Dana S. Scott

LogicLounge with Dana S. Scott

LogicLounge with