Functorial semantics for partial theories
autor
Di Liberti, Ivan
Loregian, Fosco
Nester, Chad Mitchell
Sobocinski, Pawel Maria
vastutusandmed
Ivan Di Liberti, Fosco Loregian, Chad Nester, Paweł Sobociński
allikas
Proceedings of the ACM on Programming Languages
kirjastus/väljaandja
ACM
ajakirja aastakäik number kuu
vol. 5, no. POPL
ilmumisaasta
2021
leheküljed
art. 57, 28 p. : ill
leitav
https://doi.org/10.1145/3434338
märksõna
süntaks
semantika
teoreemid
võtmesõna
Lawvere theory
categories of partial maps
syntax
semantics
variety theorem
ISSN
2475-1421
märkused
Bibliogr.: 42 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Engineering
Computer science
Tehnika
Arvutiteadus
kategooria (alam)
Engineering. Safety, risk, reliability and quality
Computer science. Software
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
Arvutiteadus. Tarkvara
kvartiil
Q1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor