Factorial 3 In Lambda Calculus

Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at ...

This is a screencast of the calculation of FACT

ERRATA: • The "Church-Turing Thesis" is different from the "Church-Turing Theorem". The "theorem" is the claim which I ...

Visual

BYOPL course playlist: https://www.youtube.com/playlist?list=PLIgSR01UTt8OHY8WhAqOmr8EzArJYd5Z0 We apply the ...

In this video, I walk through the derivation of an extension of the

Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at ...

factorial in lambda calculus (in terms of primitive recursion)

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

This uses an iterative

Encoding recursion in the

by Ron Garret Bay Area Lisp and Scheme Meetup http://balisp.org/ Sat 17 Oct 2015 Hacker Dojo Mountain View, CA Abstract The ...

Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at ...