Functorial semantics for partial theories
author
Di Liberti, Ivan
Loregian, Fosco
Nester, Chad Mitchell
Sobocinski, Pawel Maria
statement of authorship
Ivan Di Liberti, Fosco Loregian, Chad Nester, Paweł Sobociński
source
Proceedings of the ACM on Programming Languages
publisher
ACM
journal volume number month
vol. 5, no. POPL
year of publication
2021
pages
art. 57, 28 p. : ill
url
https://doi.org/10.1145/3434338
subject term
süntaks
semantika
teoreemid
keyword
Lawvere theory
categories of partial maps
syntax
semantics
variety theorem
ISSN
2475-1421
notes
Bibliogr.: 42 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/21101020042
https://www.scopus.com/record/display.uri?eid=2-s2.0-85099012661&origin=inward&txGid=881fbaa36ca71934205c760f58637ca6
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000679806100057
category (general)
Engineering
Computer science
Tehnika
Arvutiteadus
category (sub)
Engineering. Safety, risk, reliability and quality
Computer science. Software
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
Arvutiteadus. Tarkvara
quartile
Q1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Laboratory for compositional systems and methods