Read news on core calculus with our app.
Read more in the app
The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf]