Volgen
Bram Geron
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–4