Functorial semantics for partial theories

vastutusandmed
Ivan Di Liberti, Fosco Loregian, Chad Nester, Paweł Sobociński
allikas
Proceedings of the ACM on Programming Languages
kirjastus/väljaandja
ajakirja aastakäik number kuu
Vol. 5, No. POPL
ilmumisaasta
leheküljed
art. 57, p. 1–28
võtmesõna
Lawvere theory
categories of partial maps
syntax
variety theorem
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.