From equations to distinctions: Two interpretations of effectful computations
author
Voorneveld, Niels
statement of authorship
Niels Voorneveld
source
Proceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 2020
location of publication
Sydney
publisher
Open Publishing Association
year of publication
2020
pages
p. 1-17
conference name, date
8th Workshop on Mathematically Structured Functional Programming, MSFP 2020, 25 April 2020
conference location
Dublin, Ireland
url
https://doi.org/10.4204/EPTCS.317.1
subject term
Boole'i funktsioonid
matemaatiline loogika
struktuurprogrammeerimine
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85085695615&origin=inward&txGid=3d79698e0d3eddeaee64684d181f5541
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001045275100001
quartile
Q2
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
keyword
boolean functions
structured programming
ISSN
20752180
notes
Bibliogr.: 25 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory