View Detailed Profile
Category Theory, Lambda Calculus, and Functional Programming Part 1 of 3: Categories

Category Theory, Lambda Calculus, and Functional Programming Part 1 of 3: Categories

An introduction to

Category Theory, Lambda Calculus, and Functional Programming Part 2 of 3: Functors

Category Theory, Lambda Calculus, and Functional Programming Part 2 of 3: Functors

An introduction to

Programming with Math | The Lambda Calculus

Programming with Math | The Lambda Calculus

The

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 ...

Category Theory, Lambda Calculus, and Functional Programming Part 5 of 3: Monads

Category Theory, Lambda Calculus, and Functional Programming Part 5 of 3: Monads

An introduction to

Category Theory, Lambda Calculus, and Functional Programming Part 6 of 3: Monads (Reprise)

Category Theory, Lambda Calculus, and Functional Programming Part 6 of 3: Monads (Reprise)

An introduction to

Lambda Calculus - Computerphile

Lambda Calculus - Computerphile

The basis of almost all functional programming, Professor Graham Hutton explains

A Pragmatic Introduction to Category Theory - Daniela Sfregola

A Pragmatic Introduction to Category Theory - Daniela Sfregola

This presentation was given as part of

Category Theory, Lambda Calculus, and Functional Programming Part 4 of 3: Natural Transformations

Category Theory, Lambda Calculus, and Functional Programming Part 4 of 3: Natural Transformations

An introduction to

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

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

...

Category Theory, Lambda Calculus, and Functional Programming Part 3 of 3: Universal Properties

Category Theory, Lambda Calculus, and Functional Programming Part 3 of 3: Universal Properties

An introduction to

Lambda Calculus vs. Turing Machines (Theory of Computation)

Lambda Calculus vs. Turing Machines (Theory of Computation)

Advait Shinde discusses the history of the

A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2

A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2

You may have heard that a monad is a monoid in the