täiskirje prindi

Slice nondeterminism

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