Otsing - TalTech teadusportaal

kuva

reasta

26

artikkel ajakirjas

Report on PPDP/LOPSTR 2021Veltri, NiccoloACM SIGLOW News2022 / p. 23-24 https://doi.org/10.1145/3527540.3527544

artikkel ajakirjas

27

artikkel kogumikus

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamThe interplay of mathematics, logic, and linguistics2021 / p. 377-406 https://doi.org/10.1007/978-3-030-66545-6_11

artikkel kogumikus

28

artikkel ajakirjas EST / artikkel ajakirjas ENG

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2018 / p. 345-370 https://doi.org/10.1016/j.entcs.2018.11.017 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

29

artikkel kogumikus EST / artikkel kogumikus ENG

Streams of approximations, equivalence of recursive effectful programsVeltri, Niccolo; Voorneveld, NielsMathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings2022 / p. 198-221 : ill https://doi.org/10.1007/978-3-031-16912-0_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

30

artikkel ajakirjas EST / artikkel ajakirjas ENG

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theoryMannaa, Bassel; Mogelberg, Rasmus Ejlers; Veltri, NiccoloLogical Methods in Computer Science2020 / p. 17:1 - 17:31 https://doi.org/10.23638/LMCS-16(4:17)2020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

31

artikkel kogumikus

Towards normalization by evaluation for Lambek CalculusVeltri, Niccolo32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 20212021 / 4 p http://icetcs.ru.is/nwpt21/abstracts/paper34.pdf http://icetcs.ru.is/nwpt21/programme.html

artikkel kogumikus

32

artikkel kogumikus

Two set-based implementations of quotients in type theoryVeltri, NiccoloProceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere2014 / p. 149-152

artikkel kogumikus

33

artikkel kogumikus EST / artikkel kogumikus ENG

Type-theoretic constructions of the final coalgebra of the finite powerset functorVeltri, Niccolo41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 22:1-22:18 https://doi.org/10.4230/LIPIcs.FSCD.2021.22 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

34

artikkel kogumikus

A type-theoretic potpourri: towards final coalgebrasof accessible functorsBasold, Henning; Veltri, NiccoloEUTYPES-TYPES 2020 : Abstracts2020 / 3 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf

artikkel kogumikus

35

dissertatsioon

A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusestVeltri, Niccolo2017 https://digi.lib.ttu.ee/i/?7631

dissertatsioon

36

artikkel ajakirjas

Uued inimesed ja positsioonidKõrbe Kaare, Kati; Veltri, Niccolo; Grossberg-Kuusk, Maarja; Kauk-Kuusik, Marit; Konist, Alar; Sildever, Sirje; Avarmaa, MariMente et Manu2023 / lk. 49-53 : fot https://www.ester.ee/record=b1242496*est

artikkel ajakirjas

37

artikkel kogumikus EST / artikkel kogumikus ENG

Variations on NoetheriannessFirsov, Denis; Uustalu, Tarmo; Veltri, NiccoloProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 76-88 : ill https://doi.org/10.4204/eptcs.207.4 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Veltri, Niccolo (autor)

teaviku laadid

autor 2

CV 2

tema kohta 1