kompaktne vaade prindi

A direct version of Veldman's proof of open induction on cantor space via delimited control operators

autor
Ilik, Danko
Nakata, Keiko
vastutusandmed
Danko Ilik, Keiko Nakata
allikas
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
Dagstuhl Publishing
ilmumisaasta
2014
leheküljed
p. 188-201
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 26
konverentsi nimetus, aeg
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013
konverentsi toimumispaik
Toulouse, France
leitav
https://doi.org/10.4230/LIPIcs.TYPES.2013.188
märksõna
aksioomid
valikud
kontroll
operaatorid
Scopus
Conference proceedings at Scopus
Article at Scopus
kvartiil
Q2
kategooria (üld)
Computer science
kategooria (alam)
Computer science. Software
võtmesõna
axiom of choice
delimited control operators
double negation shift
Markov's principle
open induction
ISSN
1868-8969
ISBN
978-393989772-9
märkused
Bibliogr.: 20 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise
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). https://doi.org/10.4230/LIPIcs.TYPES.2013.188