Lambda calculus

Supercombinator

A supercombinator is a mathematical expression which is fully bound and self-contained. It may be either a constant or a combinator where all the subexpressions are supercombinators. Supercombinators are used in the implementation of functional languages. In mathematical terms, a lambda expression S is a supercombinator of arity n if it has no free variables and is of the form λx1.λx2...λxn.E (with n ≥ 0, so that lambdas are not required) such that E itself is not a lambda abstraction and any lambda abstraction in E is again a supercombinator. (Wikipedia).

Video thumbnail

AWESOME antigravity electromagnetic levitator (explaining simply)

Physics levitron (science experiments)

From playlist ELECTROMAGNETISM

Video thumbnail

AWESOME SUPERCONDUCTOR LEVITATION!!!

A quantum levitator it's a circular track of magnets above which a razor-thin disc magically levitates, seeming to defy the laws of physics. The key to the levitator is the disc, which is made of superconducting material sandwiched between layers of gold and sapphire crystal. A piece of fo

From playlist THERMODYNAMICS

Video thumbnail

My MegaFavNumber

#MegaFavNumbers

From playlist MegaFavNumbers

Video thumbnail

What is a Supermoon? | National Geographic

What is a supermoon? Find out what makes the moon appear extra big and bright, how it effects the tides, and how the phenomenon got its name. ➡ Subscribe: http://bit.ly/NatGeoSubscribe About National Geographic: National Geographic is the world's premium destination for science, explorati

From playlist News | National Geographic

Video thumbnail

What Is A SuperEarth?

The Universe is always surprising us with how little we know about... the Universe. It's continuously presenting us with stuff we never imagined, or even thought possible. The search for extrasolar planets is a great example. Since we started, astronomers have turned up over a thousand

From playlist Planets and Moons

Video thumbnail

#MegaFavNumbers: zootzootplex is my favourite mega-number

My #megafavnumber is a zootzootplex. Never heard of it? Watch to find out what it is, and where it came from. Watch the entire MegaFavNumber playlist at: https://www.youtube.com/playlist?list=PLar4u0v66vIodqt3KSZPsYyuULD5meoAo

From playlist MegaFavNumbers

Video thumbnail

MegaFavNumbers: 1.5 Billion

#MegaFavNumbers What’s your Mega Favourite Number?

From playlist MegaFavNumbers

Related pages

Constant (mathematics) | Lambda calculus | Lambda lifting | Arity | Free variables and bound variables