All public logs

Combined display of all available logs of Metamaya. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 21:16, 25 May 2023 KalmanKeri talk contribs created page Work-in-progress (Created page with "This page is temporary home of immature content. == Pipe-calculus and Lambda calculus == === Encoding lambda calculus in pipe-calculus === Lambda calculus is probably the most popular and well researched model of computation. It is an inevitable reference point for any calculus with computational capabilities. One of the most interesting questions is whether (and how) lambda calculus can be encoded into another calculus. Success of this task proves Turing-completeness...")