Functorial semantics for partial theories
statement of authorship
Ivan Di Liberti, Fosco Loregian, Chad Nester, Paweł Sobociński
publisher
journal volume number month
vol. 5, no. POPL
year of publication
pages
art. 57, 28 p. : ill
keyword
ISSN
2475-1421
notes
Bibliogr.: 42 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
category (general)
kvartiil
TTÜ department
language
inglise
Uurimisrühm
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