VC - Verse Calculus, new core calculus for functional logical programming

Latest document version: The Verse Calculus: a Core Calculus for Functional Logic Programming

---

_{Document Versions:}

• _{latest: verse-March23 - Mar 3, 2023 | 76 pages}
  • _{verse-conf - First publication Dec 5, 2022 | 30 pages}