Semi-Substructural Logics à la Lambek
autor
Wan, Cheng-Syuan
vastutusandmed
Cheng-Syuan Wan
allikas
Proceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24)
kirjastus/väljaandja
Open Publishing Association
ilmumisaasta
2024
leheküljed
p. 195–213
seeria-sari
Electronic Proceedings in Theoretical Computer Science, EPTCS ; 415
konverentsi nimetus, aeg
11th International Conference on Nonclassical Logics : Theory and Applications, 5 - 8 September 2024
konverentsi toimumispaik
Lodz, Poland
leitav
https://doi.org/10.4204/EPTCS.415.18
märksõna
monoidid
algebralised struktuurid
matemaatiline analüüs
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/pages/publications/85214843105?inward
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
choquet integral
monoidal categories
natural transformations
algebra
ISSN
2075-2180
märkused
Bibliogr.: 32 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise