Searching - TalTech Research Portal

display

sort

1

journal article

Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolo; Weide, Niels van derarXiv.org2020 / 32 p https://doi.org/10.4230/LIPIcs.FSCD.2019.5

journal article

2

journal article EST / journal article ENG

Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolo; Weide, Niels van derMathematical Structures in Computer Science2022 https://doi.org/10.1017/S0960129522000032 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

3

journal article

Coherence via focusing for symmetric skew monoidal and symmetric skew closed categoriesVeltri, NiccoloJournal of logic and computation2025 / art. exae059 https://doi.org/10.1093/logcom/exae059

journal article

4

book article EST / book article ENG

Coherence via focusing for symmetric skew monoidal categoriesVeltri, NiccoloLogic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings2021 / p. 184-200 https://doi.org/10.1007/978-3-030-88853-4_12 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

5

book article

Comparing quotient- and symmetric containersVeltri, Niccolo; Joram, Philipp30th International Conference on Types for Proofs and Programs, TYPES 2024, Abstracts, Copenhagen, Denmark, 10-14 June 20242024 / p. 158-160 https://vipwww.itu.dk/research/types2024/abstracts.pdf

book article

6

journal article EST / journal article ENG

Constructing higher inductive types as groupoid quotientsVeltri, Niccolo; Weide, Niels van derLogical methods in computer science2021 / p. 8:1−8:42 https://doi.org/10.23638/LMCS-17(2:8)2021 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

7

book article EST / book article ENG

Constructive final semantics of finite bagsJoram, Philipp; Veltri, Niccolo14th 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 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

Datatypes with Symmetries in Homotopy Type Theory = Sümmeetriatega andmetüübid homotoopilises tüübiteoorias

8

journal article EST / journal article ENG

Craig Interpolation for a Semi-Substructural LogicVeltri, Niccolo; Wan, Cheng-SyuanStudia logica2025 / 39 p https://doi.org/10.1007/s11225-025-10189-7 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria

9

book article

Data Types with Symmetries via Action ContainersJoram, Philipp; Veltri, Niccolo30th International Conference on Types for Proofs and Programs (TYPES 2024). Vol. 336 : proceedings2025 / p. 6:1-6:21 https://doi.org/10.4230/LIPIcs.TYPES.2024.6

book article

Related publications 1

Datatypes with Symmetries in Homotopy Type Theory = Sümmeetriatega andmetüübid homotoopilises tüübiteoorias

10

dissertation

Datatypes with Symmetries in Homotopy Type Theory = Sümmeetriatega andmetüübid homotoopilises tüübiteooriasJoram, Philipp2026 https://www.ester.ee/record=b6056790*est https://digikogu.taltech.ee/et/Item/4fd5bcfa-fada-4ae0-bc28-14e3fa580b4e https://doi.org/10.23658/taltech.40/2026

dissertation

Related publications 3

11

book article EST / book article ENG

Deductive systems and coherence for skew prounital closed categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-19 https://doi.org/10.48550/arXiv.2101.03809 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

12

book article EST / book article ENG

The delay monad and restriction categoriesUustalu, Tarmo; Veltri, NiccoloTheoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium Hanoi, Vietnam, October 23-27, 2017 : proceedings2017 / p. 32-50 https://doi.org/10.1007/978-3-319-67729-3_3 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

13

journal article

Derivatives for Containers in Univalent FoundationsJoram, Philipp; Veltri, NiccoloarXiv.org2025 / 34 p https://doi.org/10.48550/arXiv.2512.17484

journal article

Related publications 1

Datatypes with Symmetries in Homotopy Type Theory = Sümmeetriatega andmetüübid homotoopilises tüübiteoorias

14

book article

The early π-calculus in ticked cubical type theoryVeltri, Niccolo; Vezzosi, Andrea31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 77-80 https://doi.org/10.23658/taltech.nwpt/2019

book article

15

journal article EST / journal article ENG

Eilenberg-Kelly reloadedUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2020 / p. 233-256 https://doi.org/10.1016/j.entcs.2020.09.012 Journal metrics at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

16

book article

En garde! Unguarded iteration for reversible computation in the delay monadKaarsgaard, Robin; Veltri, NiccoloMathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings2019 / p. 366-384 https://doi.org/10.1007/978-3-030-33636-3_13

book article

17

journal article EST / journal article ENG

Finiteness and rational sequences, constructivelyUustalu, Tarmo; Veltri, NiccoloJournal of functional programming2017 / art. e13, p. 1-20 https://doi.org/10.1017/S0956796817000041 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

18

book article

Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 20202020 / p. 270–283 https://doi.org/10.1145/3372885.3373814

book article

19

book article

Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 20202020 / p. 270-283 https://doi.org/10.1145/3372885.3373814

book article

20

journal article EST / journal article ENG

Formalizing CCS and π-calculus in Guarded Cubical AgdaVeltri, Niccolo; Vezzosi, AndreaJournal of logical and algebraic methods in programming2023 / art. 100846 https://doi.org/10.1016/j.jlamp.2022.100846 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

21

journal article EST / journal article ENG

Formalizing restriction categoriesChapman, James; Uustalu, Tarmo; Veltri, NiccoloJournal of formalized reasoning2017 / p. 1-36 https://doi.org/10.6092/issn.1972-5787/6237 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

22

book article

Formalizingπ-calculus in guarded cubical agdaVeltri, Niccolo; Vezzosi, AndreaEUTYPES-TYPES 2020 : Abstracts2020 / 3 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf

book article

23

book article

An implementation in Agda of Sutner's decision algorithms for injectivity and surjectivity of one-dimensional cellular automataCapobianco, Silvio; Veltri, NiccoloProceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)2016 / p. 27-29 http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf

book article

24

book article EST / book article ENG

Inductive and coinductive predicate liftings for effectful programsVeltri, Niccolo; Voorneveld, Niels Frits WillemProceedings 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 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

25

book article

Logics of skew categorical structuresUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanLogic4Peace : fundraising online logic event for peace, April 22-23, 2022 : book of abstracts2022 / p. 81-82 https://events.illc.uva.nl/Logic4Peace/uploaded_files/inlineitem/slides/Uustalu-et-al_L4P-slides.pdf

book article

Veltri, Niccolo (author)

types of item

author 2

CV 2

name of the person 1