Explore >> Select a destination
|
You are here 
|
nguyenhuythanh.com | ||
| | | | |
jao.io
|
|
| | | | | [AI summary] The author explores the Y combinator and fixed-point combinators in lambda calculus, demonstrating how to implement recursive functions like list-length in Scheme using beta abstraction to manage a strict evaluation strategy. | |
| | | | |
blog.klipse.tech
|
|
| | | | | Recursions without names. The y combinator in clojure. Lambda Calculus. | |
| | | | |
danilafe.com
|
|
| | | | | [AI summary] The blog post explores lambda calculus, its role in computation, and how Church-encoded integers are used to represent natural numbers through abstraction and function application. | |
| | | | |
tromp.github.io
|
|
| | | |||
