A correct-by-construction conversion from lambda calculus to combinatory logic | Journal of Functional Programming
A correct-by-construction conversion from lambda calculus to combinatory logic - Volume 33
Source: cambridge.org
📰 Reference Curry News
Reference Curry News Today
Fast, Ad-Free News Updates
Stay updated with breaking news from Reference Curry. Real-time updates on events, politics, business and more.