Page history
25 May 2023
→Encoding lambda calculus in pipe-calculus
+379
no edit summary
+6
→Encoding lambda calculus in pipe-calculus
+103
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..."
+1,926