ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

64,777 results

Eyesomorphic
Programming with Math | The Lambda Calculus

The Lambda Calculus is a tiny mathematical programming language that has the same computational power as any language ...

21:48
Programming with Math | The Lambda Calculus

387,357 views

1 year ago

2swap
What is PLUS times PLUS?

The "theorem" is the claim which I discussed in the video- namely, that the Turing machine and lambda calculus are equally ...

28:28
What is PLUS times PLUS?

1,468,289 views

9 months ago

Fullstack Academy
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

Fullstack Academy was recently ranked the #1 coding bootcamp in the U.S. Learn more at https://www.fullstackacademy.com The ...

1:02:15
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

219,390 views

8 years ago

LigerLearn
Lambda (λ) Calculus Primer

A primer on the lambda calculus with the aim of giving a basic understanding of the theoretical underpinnings of functional ...

34:26
Lambda (λ) Calculus Primer

21,775 views

2 years ago

PyCon 2019
David Beazley - Lambda Calculus from the Ground Up - PyCon 2019

"Speaker: David Beazley These days, programming style guides are all the rage. However, what if your style guide was so ...

3:26:34
David Beazley - Lambda Calculus from the Ground Up - PyCon 2019

50,508 views

6 years ago

Advait Shinde
Lambda Calculus vs. Turing Machines (Theory of Computation)

Advait Shinde discusses the history of the theory of computation, delving into axiomatic thinking, Peano axioms, Turing Machines, ...

1:08:24
Lambda Calculus vs. Turing Machines (Theory of Computation)

26,121 views

5 years ago

SmartlyIO Engineering
A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks

The Lambda Calculus is a tiny symbol manipulation system which suffices to compute anything Turing-computable. Thanks to this ...

54:17
A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks

16,116 views

6 years ago

LambdaConf
Adam McCullough - Greek Classics: Lambda Calculus For Beginners - λC 2017

Description: Functional programming wouldn't be functional without the lambda calculus. Most of the Really Fun Parts of FP are a ...

50:42
Adam McCullough - Greek Classics: Lambda Calculus For Beginners - λC 2017

11,555 views

8 years ago

Kristopher Micinski
L17: Lambda Calculus Reductions and Substitution

code: https://gist.github.com/kmicinski/56b331a10415251b871c3c6a1648a08c dana scott's history of lambda calculus ...

33:55
L17: Lambda Calculus Reductions and Substitution

18,031 views

4 years ago

Andrew Giraffe
Why Don't We Program In Lambda Calculus? Rust, Lisp, and Church's Thesis

This is a video that tries to shed light on some of the world of functional programming and its core: lambda calculus. While LC may ...

26:49
Why Don't We Program In Lambda Calculus? Rust, Lisp, and Church's Thesis

23,256 views

8 months ago

David Beazley
Lambda Calculus: PyCon 2019 Tutorial (Screencast)

An introduction to the lambda calculus and related concepts from functional programming. Taught at PyCon 2019, Cleveland, ...

3:01:57
Lambda Calculus: PyCon 2019 Tutorial (Screencast)

29,061 views

6 years ago

GOTO Conferences
Fun with the Lambda Calculus • Corey Haines • GOTO 2015

This presentation was recorded at GOTO Chicago 2015 http://gotochgo.com Corey Haines - Author, Speaker, Teacher & all ...

48:48
Fun with the Lambda Calculus • Corey Haines • GOTO 2015

14,986 views

10 years ago

Wolfram
The Ruliology of Lambdas

Stephen reads a recent blog from https://writings.stephenwolfram.com and then answers questions live from his viewers. Read the ...

2:14:24
The Ruliology of Lambdas

1,345 views

3 months ago

Gabriel Lebec
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS - Part II

Part I: https://youtu.be/3VQ382QG-y4 Slides: http://bit.ly/2xpcPKn Repo: https://github.com/glebec/lambda-talk A presentation ...

41:33
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS - Part II

62,787 views

8 years ago

RU Computer Science
Programming Languages: Lambda Calculus - 1

First lecture on Lambda Calculus.

26:17
Programming Languages: Lambda Calculus - 1

96,893 views

11 years ago

Michael Gilliland
Let's Write a Lambda Calculus in F#

The lambda calculus is an amazingly powerful and simple mathematical model. Let's write a programming language interpreter ...

34:33
Let's Write a Lambda Calculus in F#

4,774 views

8 years ago

GOTO Conferences
Beyond Lambda-Calculus: Intensional Computation • Barry Jay • YOW! 2017

This presentation was recorded at YOW! 2017. #GOTOcon #YOW https://yowcon.com Associate Professor Barry Jay - Member of ...

29:27
Beyond Lambda-Calculus: Intensional Computation • Barry Jay • YOW! 2017

1,289 views

1 year ago

Digital Futures: Research Hub for Digitalization
David Broman - The Lambda Calculus

David Broman is an Associate Professor at the KTH Royal Institute of Technology, Associate Director Operations for KTH Digital ...

54:26
David Broman - The Lambda Calculus

263 views

4 years ago

Armada JS
It’s birds all the way down: Fun Introduction to Lambda Calculus by Lucas da Costa | Armada JS 2019

Functional programming, JavaScript, and Birds. Most people like two at least two of them. In this talk, we'll explore functional ...

48:29
It’s birds all the way down: Fun Introduction to Lambda Calculus by Lucas da Costa | Armada JS 2019

571 views

6 years ago

LambdaConf
Steven Syrek - Lambda Calculus For People Who Can't Be Bothered to Learn It - part 1 of 2 - λC 2017

Description: In this hands-on, coding workshop, participants will develop an intuition for functional programming fundamentals by ...

58:44
Steven Syrek - Lambda Calculus For People Who Can't Be Bothered to Learn It - part 1 of 2 - λC 2017

11,795 views

8 years ago