1 paper
Herman Geuvers, Wouter Geraedts, Bram Geron +1
Continuation Calculus (CC), introduced by Geron and Geuvers, is a simple foundational model for functional computation. It is closely related to lambda calculus and term rewriting,…