lambda calculus
Is there an implementation of lambda-calculus with sagemath (or python)?
thanks in advance
add a comment
Is there an implementation of lambda-calculus with sagemath (or python)?
thanks in advance
The Google query lambda calculus in python
returns many interesting things, among them, the second hit may be what you're looking for...
Asked: 2020-07-30 10:39:02 -0600
Seen: 47 times
Last updated: Jul 30 '20