Maximally multi-focused proofs for skew non-commutative MILL
author
statement of authorship
Niccolò Veltri
source
Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings
location of publication
Cham
publisher
year of publication
pages
p. 377-393
series
Lecture notes in computer science ; 13923
conference name, date
29th Workshop on Logic, Language, Information and Computation, WoLLIC 2023, 11-14 July 2023
conference location
Halifax, Canada
ISSN
0302-9743
ISBN
978-303139783-7
notes
Lecture Notes in Computer Science (Including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Bibliogr.: 20 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
maximal multi-focusing
skew monoidal closed categories
skew non-commutative MILL
category (general)
Veltri, N. Maximally multi-focused proofs for skew non-commutative MILL // Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings. Cham : Springer, 2023. p. 377-393. (Lecture notes in computer science ; 13923).