1
|
Material Type: Artigo
|
|
A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators
Ilik, Danko ; Nakata, Keiko
Leibniz International Proceedings in Informatics, 2014-12, p.288-201
Leibniz-Zentrum für Informatik
Sem texto completo
|