A direct version of Veldman's proof of open induction on cantor space via delimited control operators
autor
Ilik, Danko
vastutusandmed
Danko Ilik, Keiko Nakata
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 188-201
konverentsi nimetus, aeg
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013
konverentsi toimumispaik
Toulouse, France
ISSN
1868-8969
ISBN
978-393989772-9
märkused
Bibliogr.: 20 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
axiom of choice
delimited control operators
double negation shift
Markov's principle
open induction
kategooria (üld)
kategooria (alam)
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).