21 citations · 116 across the 21 of their papers we have counts for
1 paper · 2 filters
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,…