Semi-Substructural Logics à la Lambek
author
Wan, Cheng-Syuan
statement of authorship
Cheng-Syuan Wan
source
Proceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24)
publisher
Open Publishing Association
year of publication
2024
pages
p. 195–213
series
Electronic Proceedings in Theoretical Computer Science, EPTCS ; 415
conference name, date
11th International Conference on Nonclassical Logics : Theory and Applications, 5 - 8 September 2024
conference location
Lodz, Poland
url
https://doi.org/10.4204/EPTCS.415.18
subject term
monoidid
algebralised struktuurid
matemaatiline analüüs
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/pages/publications/85214843105?inward
quartile
Q3
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
keyword
choquet integral
monoidal categories
natural transformations
algebra
ISSN
2075-2180
notes
Bibliogr.: 32 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise