MetaLambdas are cross platform functions which accompany computational lifeforms such as anticipated by Von Neumann in his Universal Constructor Theory. They have been used to build the Game of MetaLife
in collaboration with Peter Suber
the inventor of Nomic. In short, the Game of MetaLife is a multidimensional version of Conway's Game of Life in which each ceullar automaton may have embedded lambda calculus which controls its movements and genetic propogation strategy.
Within the Metametaverse
this is used to populate metaverses.
Additionally we are using this to test the Zuse Hypothesis
and working with the Wolfram Institute on ruliad research
(lifesim (algo1, 100 ws