lambda calculus

lambda calculus

lambda-calculus

asked 4 years ago

Jingenbl
31 ●1 ●6

Is there an implementation of lambda-calculus with sagemath (or python)?

thanks in advance

add a comment

1 Answer

Sort by » oldest newest most voted

answered 4 years ago

Emmanuel Charpentier
7814 ●8 ●53 ●156

The Google query lambda calculus in python returns many interesting things, among them, the second hit may be what you're looking for...

link

Comments

Thank you for this link which I will examine carefully. But I was rather thinking of a possibility of handling lambda terms, of developing a beat-reduction, all these complicated things to experiment with by hand ...

Jingenbl ( 4 years ago )

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 4 years ago

Seen: 710 times

Last updated: Jul 30 '20

lambda calculus savecancel

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions