prindi

From equations to distinctions: Two interpretations of effectful computations

autor
Voorneveld, Niels
vastutusandmed
Niels Voorneveld
allikas
Proceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 2020
ilmumiskoht
Sydney
kirjastus/väljaandja
Open Publishing Association
ilmumisaasta
2020
leheküljed
p. 1-17
konverentsi nimetus, aeg
8th Workshop on Mathematically Structured Functional Programming, MSFP 2020, 25 April 2020
konverentsi toimumispaik
Dublin, Ireland
leitav
https://doi.org/10.4204/EPTCS.317.1
märksõna
Boole'i funktsioonid
matemaatiline loogika
struktuurprogrammeerimine
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kvartiil
Q2
kategooria (üld)
Arvutiteadus
kategooria (alam)
Arvutiteadus. Tarkvara
võtmesõna
boolean functions
structured programming
ISSN
20752180
märkused
Bibliogr.: 25 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium
Voorneveld, N. From equations to distinctions: Two interpretations of effectful computations // Proceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 2020. Sydney : Open Publishing Association, 2020. p. 1-17. https://doi.org/10.4204/EPTCS.317.1