π → λ

Feb. 22nd, 2017 04:01 pm
juan_gandhi: (Default)
 Would be fun to express 
1) π-calculus in λ
2) λ in Turing machine
3) Turing machine in π or λ

Just asking. Must be doable, obviously.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

May 2025

S M T W T F S
    1 2 3
456 7 8 9 10
11 121314151617
18192021222324
25262728293031

Syndicate

RSS Atom

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated May. 15th, 2025 03:35 pm
Powered by Dreamwidth Studios