ITU
Niccolò Veltri

Niccolò Veltri

(Former)

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

  1. Published

    Bisimulation as path type for guarded recursive types

    Veltri, N. & Møgelberg, R. E., 2019, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, Vol. 3. 29 p. 4

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  2. Published

    Formalizing 휋-calculus in guarded cubical Agda

    Veltri, N. & Vezzosi, A., 2020, CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ACM. Association for Computing Machinery, p. 270-283 14 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    Guarded recursion in Agda via sized types

    Veltri, N. & van der Weide, N., 2019, In: Leibniz International Proceedings in Informatics (LIPIcs). 131, p. 32:1–32:19 32.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  4. Published

    Partiality and Container Monads

    Uustalu, T. & Veltri, N., 2017, Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings. Chang, B-Y. E. (ed.). Cham: Springer, p. 406-425 20 p. (Lecture Notes in Computer Science, Vol. 10695).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  5. Quotienting the delay monad by weak bisimilarity

    Chapman, J., Uustalu, T. & Veltri, N., 2017, In: Mathematical Structures in Computer Science. p. 1-26

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  6. The delay monad and restriction categories

    Uustalu, T. & Veltri, N., 2017, Theoretical Aspects of Computing - ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings. Hung, D. V. & Kapur, D. (eds.). Cham: Springer, p. 32-50 19 p. (Lecture Notes in Computer Science, Vol. 10580).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  7. Published

    The Sequent Calculus of Skew Monoidal Categories

    Uustalu, T., Veltri, N. & Zeilberger, N., 2018, In: Electronic Notes in Theoretical Computer Science. 341, p. 345-370

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

ID: 82129212