Computation Of 4 Factorial Using Lambda Calculus.

2026 2:25
Synopsis
This uses an iterative factorial algorithm I wrote: (λn.λf.n (λd.λa.λb.λy.b (d (λu.u) b (d (d (λu.u) a) (λu.u) y))) (λa.λb.λy.a (b y)) f (λu.u)) ...

You Might Also Like

Programming with Math | The Lambda Calculus 21:48
Programming With Math | The Lambda Calculus
2025
Factorial 3 in Lambda Calculus 0:37
Factorial 3 In Lambda Calculus
2018
factorial of 4 with chemlambda 3:41
Factorial Of 4 With Chemlambda
2016
Lambda Calculus - Computerphile 12:40
Lambda Calculus - Computerphile
2017
Seven times Eight in Lambda Calculus 0:07
Seven Times Eight In Lambda Calculus
2018
End of the computation of factorial(5)=120 with chemlambda 1:30
End Of The Computation Of Factorial(5)=120 With Chemlambda
2016
Factorial 5 in Lambda Calculus, Leftmost Innermost 0:17
Factorial 5 In Lambda Calculus, Leftmost Innermost
2018
What is PLUS times PLUS? 28:28
What Is Plus Times Plus?
2026
Factorial with lambda calculus 13:48
Factorial With Lambda Calculus
2024
Ackermann(3, 4) in Lambda Calculus 0:33
Ackermann(3, 4) In Lambda Calculus
2019
Lambda Calculus For Dummies: Introduction 4:32
Lambda Calculus For Dummies: Introduction
2025
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.