Paper accepted: Continuation calculus

2013-06-06 Closeup paperIt’s been a while already, but our paper on continuation calculus was accepted! I will present at COS 2013, part of the RDP 2013 conference in Eindhoven.

Many thanks go out to my supervisor and co-author Herman Geuvers. Without him, this paper would not exist; he provided lots of important feedback and guidance.

I have a dedicated page on continuation calculus.