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
märkused
Bibliogr.: 43 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/25620
https://www.scopus.com/pages/publications/105011965648?origin=resultslist
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOGIC%20COMPUT&year=2025
https://www.webofscience.com/wos/woscc/full-record/WOS:001335920600001
kategooria (üld)
Arts and humanities
Kunst ja humanitaarteadused
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Arts and humanities. Arts and humanities (miscellaneous)
Kunst ja humanitaarteadused. Kunst ja humanitaarteadused (mitmesugused)
Mathematics. Logic
Matemaatika. Loogika
Computer science. Hardware and architecture
Arvutiteadus. Riistvara ja arhitektuur
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
Computer science. Software
Arvutiteadus. Tarkvara
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise