Functorial semantics for partial theories
vastutusandmed
Ivan Di Liberti, Fosco Loregian, Chad Nester, Paweł Sobociński
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 5, no. POPL
ilmumisaasta
leheküljed
art. 57, 28 p. : ill
võtmesõna
ISSN
2475-1421
märkused
Bibliogr.: 42 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
inglise
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.