News for hackers. Stuff that matters.
Re:λ Calculus [pdf] by lmm on Friday August 18, 2023 @02:39AM (#37172052)
What do you mean "where"? In Princeton? In the Proceedings of the London Mathematical Society? In the head of anyone who presumes to think about computation?

There are no comments on this comment yet.