Slice nondeterminism
author
Voorneveld, Niels
statement of authorship
Niels F.W. Voorneveld
source
4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 2023
location of publication
Wadern
publisher
Dagstuhl Publishing
year of publication
2023
pages
art. 31, 19 p
series
Leibniz international proceedings in informatics (LIPIcs) ; 268
conference name, date
14th International Conference on Interactive Theorem Proving, ITP 2023, 31 July - 4 August 2023
conference location
Bialystok, Poland
url
https://doi.org/10.4230/LIPIcs.ITP.2023.31
subject term
kategooriateooria
funktsioonid (matemaatika)
monaadid
Agda (programmeerimiskeel)
Scopus
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85168762736&origin=inward&txGid=5e1b93c2cbb3a6a75e0b27d158426cee
quartile
Q2
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
keyword
Agda
category theory
nondeterministic functions
powerset
slice category
ISSN
1868-8969
ISBN
978-395977284-6
notes
Bibliogr.: 24 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise