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...
Please start posting anonymously - your entry will be published after you log in or create a new account.
Asked: 2020-07-30 17:39:02 +0100
Seen: 536 times
Last updated: Jul 30 '20