Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

lambda calculus

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

thanks in advance