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
📰 Peter Selinger News
Peter Selinger News Today
Fast, Ad-Free News Updates
Stay updated with breaking news from Peter Selinger. Real-time updates on events, politics, business and more.