• Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; Weide, Niels van derMathematical Structures in Computer Science2022 https://doi.org/10.1017/S0960129522000032 https://www.scopus.com/sourceid/5000157801 https://www.scopus.com/record/display.uri?eid=2-s2.0-85126564877&origin=resultslist&sort=plf-f&src=s&sid=f3880937bc83a1fb5bcb9c6ff4887033&sot=b&sdt=b&s=DOI%2810.1017%2FS0960129522000032%29&sl=30&sessionSearchId=f3880937bc83a1fb5bcb9c6ff4887033&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20STRUCT%20COMP%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000767071800001
• Constructive final semantics of finite bagsJoram, Philipp; Veltri, Niccolò14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 20232023 / art. 20, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.20 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85168772131&origin=inward&txGid=5c7420f11f6482da438fddb2618e6928
• Inductive and coinductive predicate liftings for effectful programsVeltri, Niccolò; Voorneveld, Niels F.W.Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 20212021 / p. 260-277 https://doi.org/10.4204/EPTCS.351.16 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122280172&origin=inward&txGid=c7421d68f570c983320bb4fe98712567 https://www.webofscience.com/wos/woscc/full-record/WOS:001044544400016
• Maximally multi-focused proofs for skew non-commutative MILLVeltri, NiccolòLogic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings2023 / p. 377-393 https://doi.org/10.1007/978-3-031-39784-4_24 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85172739781&origin=inward&txGid=69b31d5927977a48af9ad30e7401575f
• Semi-substructural logics with additivesVeltri, Niccolò; Wan, Cheng-SyuanProceedings of the 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 20232024 / p. 63-80 https://doi.org/10.4204/EPTCS.402.8 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85191660878&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Semi-substructural+logics+with+additives%22%29&sessionSearchId=f53bb18a788748acab088b0e35200e2d&relpos=1 https://www.webofscience.com/wos/woscc/full-record/WOS:001313392600006