Continuation calculus. - Bram Geron; Herman Geuvers (COS, 2013)

A type system for Continuation Calculus. - Herman Geuvers; Wouter Geraedts; Bram Geron; Judith van Stegeren (CL&C, 2014)

Iteration and Labelled Iteration. - Bram Geron; Paul Blain Levy (MFPS, 2016)

Defined algebraic operations. - Bram Geron (2020)