Reduced Lambda Calculus
Jump to navigation
Jump to search
--- REDUCED LAMBDA CALCULUS --- 0 1 ( λ0. ( _ _ ) ) _ ( λ1. ( _ _ ) ) _ 0 1 ( λ0. _ ) _ ( λ1. _ ) _ # just let it operate on both v ( _ ) _ # you only need 1 variable bc of deterministic { ( _ ) _ == ( λv. _ ) _ } thats it if you think really hard then you can prove it goes back to lambda calculus