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. 00, 00
ilmumisaasta
2024
leheküljed
art. exae059, 26 p
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
märkused
Bibliogr.: 43 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise