lambda calculus
Is there an implementation of lambda-calculus with sagemath (or python)?
thanks in advance
add a comment
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 17:39:02 +0200
Seen: 845 times
Last updated: Jul 30 '20