full record print

Functorial semantics for partial theories

author
statement of authorship
Ivan Di Liberti, Fosco Loregian, Chad Nester, Paweł Sobociński
source
publisher
ACM
journal volume number month
vol. 5, no. POPL
year of publication
pages
art. 57, 28 p. : ill
url
ISSN
2475-1421
notes
Bibliogr.: 42 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
Lawvere theory
categories of partial maps
syntax
semantics
variety theorem
Reserch Group
Laboratory for compositional systems and methods
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