Logic & Programming

The paper “A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators”, coauthored with Keiko Nakata, accepted for publication

http://arxiv.org/abs/1209.2229

Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net