Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- (λpq.pqp)((λab.a)(λcd.d))
- (λpq.pqp)((λab.a)(λcd.d)) ➝
- λq.((λab.a)(λcd.d))q((λab.a)(λcd.d)) ➝
- λq.((λab.a)(λcd.d))q((λab.a)(λcd.d)) ➝
- λq.(λb.(λcd.d))q((λab.a)(λcd.d)) ➝
- λq.(λcd.d)((λab.a)(λcd.d)) ➝
- λq.(λd.d)
- (λpq.pqp)((λab.a)(λcd.d)) ➝
- (λpq.pqp)(λb.(λcd.d)) ➝
- (λpq.pqp)(λb.(λcd.d)) ➝
- λq.(λbcd.d)q(λbcd.d) ➝
- λq.(λcd.d)(λbcd.d) ➝
- λq.(λd.d)
Add Comment
Please, Sign In to add comment