Slice nondeterminism
autor
Voorneveld, Niels
vastutusandmed
Niels F.W. Voorneveld
allikas
4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 2023
ilmumiskoht
Wadern
kirjastus/väljaandja
Dagstuhl Publishing
ilmumisaasta
2023
leheküljed
art. 31, 19 p
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 268
konverentsi nimetus, aeg
14th International Conference on Interactive Theorem Proving, ITP 2023, 31 July - 4 August 2023
konverentsi toimumispaik
Bialystok, Poland
leitav
https://doi.org/10.4230/LIPIcs.ITP.2023.31
märksõna
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
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
Agda
category theory
nondeterministic functions
powerset
slice category
ISSN
1868-8969
ISBN
978-395977284-6
märkused
Bibliogr.: 24 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise