ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Fri, 31 Jul 2020 10:22:10 +0200lambda calculushttps://ask.sagemath.org/question/52757/lambda-calculus/ Is there an implementation of lambda-calculus with sagemath (or python)?
thanks in advanceThu, 30 Jul 2020 17:39:02 +0200https://ask.sagemath.org/question/52757/lambda-calculus/Answer by Emmanuel Charpentier for <p>Is there an implementation of lambda-calculus with sagemath (or python)? </p>
<p>thanks in advance</p>
https://ask.sagemath.org/question/52757/lambda-calculus/?answer=52759#post-id-52759The Google query `lambda calculus in python` returns many interesting things, among them, the [second hit](https://github.com/orsinium-labs/python-lambda-calculus) may be what you're looking for...Thu, 30 Jul 2020 19:37:19 +0200https://ask.sagemath.org/question/52757/lambda-calculus/?answer=52759#post-id-52759Comment by Jingenbl for <p>The Google query <code>lambda calculus in python</code> returns many interesting things, among them, the <a href="https://github.com/orsinium-labs/python-lambda-calculus">second hit</a> may be what you're looking for...</p>
https://ask.sagemath.org/question/52757/lambda-calculus/?comment=52772#post-id-52772Thank 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 ...Fri, 31 Jul 2020 10:22:10 +0200https://ask.sagemath.org/question/52757/lambda-calculus/?comment=52772#post-id-52772