TY - RPRT TI - Command injection attacks, continuations, and the Lambek calculus AU - Hayo Thielecke PY - 2016 DO - 10.4204/eptcs.212.6 UR - https://arxiv.org/abs/1606.06382 ID - 1606.06382 ER -