New top story on Hacker News: A correct-by-construction conversion from lambda calculus to combinatory logic
A correct-by-construction conversion from lambda calculus to combinatory logic
7 by matt_d | 0 comments on Hacker News.
7 by matt_d | 0 comments on Hacker News.
New top story on Hacker News: A correct-by-construction conversion from lambda calculus to combinatory logic
Reviewed by zero news
on
November 24, 2023
Rating:
No comments: