Follow
Bram Geron
Title
Cited by
Cited by
Year
Iteration and labelled iteration
B Geron, PB Levy
Mathematical Foundations of Programming Semantics XXXII, 2016
62016
Defined algebraic operations
B Geron
University of Birmingham, 2020
32020
Continuation calculus
B Geron, H Geuvers
arXiv preprint arXiv:1309.1257, 2013
22013
A type system for Continuation Calculus
H Geuvers, W Geraedts, B Geron, J van Stegeren
arXiv preprint arXiv:1409.3313, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–4