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
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-84907737679&origin=inward&txGid=3c9eca1096782d16b07c255d196c1cd2
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
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