täiskirje prindi

Functorial semantics for partial theories

autor
vastutusandmed
Ivan Di Liberti, Fosco Loregian, Chad Nester, Paweł Sobociński
allikas
kirjastus/väljaandja
ACM
ajakirja aastakäik number kuu
vol. 5, no. POPL
ilmumisaasta
leheküljed
art. 57, 28 p. : ill
leitav
ISSN
2475-1421
märkused
Bibliogr.: 42 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
Lawvere theory
categories of partial maps
syntax
semantics
variety theorem
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor
Di Liberti, I., Loregian, F., Nester, C.M., Sobocinski, P.M. Functorial semantics for partial theories // Proceedings of the ACM on Programming Languages (2021) vol. 5, no. POPL, art. 57, 28 p. : ill. https://doi.org/10.1145/3434338