Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
autor
Veltri, Niccolo
vastutusandmed
Niccolò Veltri
allikas
Journal of logic and computation
kirjastus/väljaandja
Oxford University Press
ajakirja aastakäik number kuu
vol. 35, 6
ilmumisaasta
2025
leheküljed
art. exae059
leitav
https://doi.org/10.1093/logcom/exae059
märksõna
koherentsus
monoidid
arvutusmatemaatika
Agda (programmeerimiskeel)
programmeerimiskeeled
võtmesõna
coherence
symmetric skew monoidal categories
symmetric skew closed categories
focused sequent calculus
substructural logic
Agda
ISSN
1465-363X
0955-792X
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise