Ask Your Question
0

lambda calculus

asked 2020-07-30 17:39:02 +0200

Jingenbl gravatar image

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

thanks in advance

edit retag flag offensive close merge delete
add a comment

1 Answer

Sort by ยป oldest newest most voted
0

answered 2020-07-30 19:37:19 +0200

Emmanuel Charpentier gravatar image

The Google query lambda calculus in python returns many interesting things, among them, the second hit may be what you're looking for...

edit flag offensive delete link more

Comments

Thank 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 ...

Jingenbl gravatar imageJingenbl ( 2020-07-31 10:22:10 +0200 )edit
add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

subscribe to rss feed

Stats

Asked: 2020-07-30 17:39:02 +0200

Seen: 53 times

Last updated: Jul 30 '20

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
about | faq | help | privacy policy | terms of service
Powered by Askbot version 0.7.59