TY  - RPRT
TI  - A type system for Continuation Calculus
AU  - Herman Geuvers
AU  - Wouter Geraedts
AU  - Bram Geron
AU  - Judith van Stegeren
PY  - 2014
DO  - 10.4204/eptcs.164.1
UR  - https://arxiv.org/abs/1409.3313
ID  - 1409.3313
ER  -