A direct version of Veldman's proof of open induction on cantor space via delimited control operators
author
Ilik, Danko
statement of authorship
Danko Ilik, Keiko Nakata
location of publication
Saarbrücken/Wadern
publisher
year of publication
pages
p. 188-201
conference name, date
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013
conference location
Toulouse, France
ISSN
1868-8969
ISBN
978-393989772-9
notes
Bibliogr.: 20 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
axiom of choice
delimited control operators
double negation shift
Markov's principle
open induction
category (general)
category (sub)
Ilik, D., Nakata, K. A direct version of Veldman's proof of open induction on cantor space via delimited control operators // 19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France. Saarbrücken/Wadern : Dagstuhl Publishing, 2014. p. 188-201. (Leibniz international proceedings in informatics (LIPIcs) ; 26).