A direct version of Veldman's proof of open induction on cantor space via delimited control operators
author
Ilik, Danko
Nakata, Keiko
statement of authorship
Danko Ilik, Keiko Nakata
source
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France
location of publication
Saarbrücken/Wadern
publisher
Dagstuhl Publishing
year of publication
2014
pages
p. 188-201
series
Leibniz international proceedings in informatics (LIPIcs) ; 26
conference name, date
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013
conference location
Toulouse, France
url
https://doi.org/10.4230/LIPIcs.TYPES.2013.188
subject term
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
quartile
Q2
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
keyword
axiom of choice
delimited control operators
double negation shift
Markov's principle
open induction
ISSN
1868-8969
ISBN
978-393989772-9
notes
Bibliogr.: 20 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
TTÜ Küberneetika Instituut
language
inglise