lambda calculus

lambda calculus

asked 2020-07-30 10:39:02 -0500

Jingenbl
31 ●3

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

thanks in advance

answered 2020-07-30 12:37:19 -0500

Emmanuel Charpentier
3370 ●2 ●28 ●77

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

edit flag offensive delete 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 ( 2020-07-31 03:22:10 -0500 )edit

add a comment

1 answer

Comments

Your Answer

Question Tools

Stats

lambda calculus edit

1 answer

Comments