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, p. 1–28
võtmesõna
ISSN
2475-1421
märkused
Bibliogr. p. 27-28
Open Access
Open Access (kuldne)
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
TTÜ struktuuriüksus
keel
inglise
Di Liberti, I., Loregian, F., Nester, C., Sobociński, P. Functorial semantics for partial theories // Proceedings of the ACM on Programming Languages (2021) vol. 5, No. POPL, art. 57, p. 1–28.