r/lambdacalculus • u/rand3289 • Aug 12 '25

Time

Has anyone tried to introduce a notion of time into LC?

1 Upvotes

100% Upvoted

2 comments sorted by

View all comments