BibTeX records: Niccolò Veltri

download as .bib file

@article{DBLP:journals/jlap/VeltriV23,
  author       = {Niccol{\`{o}} Veltri and
                  Andrea Vezzosi},
  title        = {Formalizing {CCS} and \emph{{\(\pi\)}}-calculus in Guarded Cubical
                  Agda},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {131},
  pages        = {100846},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2022.100846},
  doi          = {10.1016/J.JLAMP.2022.100846},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/VeltriV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/JoramV23,
  author       = {Philipp Joram and
                  Niccol{\`{o}} Veltri},
  editor       = {Adam Naumowicz and
                  Ren{\'{e}} Thiemann},
  title        = {Constructive Final Semantics of Finite Bags},
  booktitle    = {14th International Conference on Interactive Theorem Proving, {ITP}
                  2023, July 31 to August 4, 2023, Bia{\l}ystok, Poland},
  series       = {LIPIcs},
  volume       = {268},
  pages        = {20:1--20:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.ITP.2023.20},
  doi          = {10.4230/LIPICS.ITP.2023.20},
  timestamp    = {Wed, 26 Jul 2023 16:07:09 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/JoramV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/Veltri23,
  author       = {Niccol{\`{o}} Veltri},
  editor       = {Helle Hvid Hansen and
                  Andre Scedrov and
                  Ruy J. G. B. de Queiroz},
  title        = {Maximally Multi-focused Proofs for Skew Non-Commutative {MILL}},
  booktitle    = {Logic, Language, Information, and Computation - 29th International
                  Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13923},
  pages        = {377--393},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-39784-4\_24},
  doi          = {10.1007/978-3-031-39784-4\_24},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/Veltri23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siglog/Veltri22,
  author       = {Niccol{\`{o}} Veltri},
  title        = {Report on {PPDP/LOPSTR} 2021},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {9},
  number       = {1},
  pages        = {23--24},
  year         = {2022},
  url          = {https://doi.org/10.1145/3527540.3527544},
  doi          = {10.1145/3527540.3527544},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Veltri22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/VeltriV22,
  author       = {Niccol{\`{o}} Veltri and
                  Niels F. W. Voorneveld},
  editor       = {Ekaterina Komendantskaya},
  title        = {Streams of Approximations, Equivalence of Recursive Effectful Programs},
  booktitle    = {Mathematics of Program Construction - 14th International Conference,
                  {MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13544},
  pages        = {198--221},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16912-0\_8},
  doi          = {10.1007/978-3-031-16912-0\_8},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/VeltriV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2204-06719,
  author       = {Niccol{\`{o}} Veltri},
  editor       = {Andrzej Indrzejczak and
                  Michal Zawidzki},
  title        = {Normalization by Evaluation for the Lambek Calculus},
  booktitle    = {Proceedings of the 10th International Conference on Non-Classical
                  Logics. Theory and Applications, {NCL} 2022, {\L}{\'{o}}d{\'{z}},
                  Poland, 14-18 March 2022},
  series       = {{EPTCS}},
  volume       = {358},
  pages        = {102--117},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.358.8},
  doi          = {10.4204/EPTCS.358.8},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-06719.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2204-06727,
  author       = {Tarmo Uustalu and
                  Niccol{\`{o}} Veltri and
                  Cheng{-}Syuan Wan},
  editor       = {Andrzej Indrzejczak and
                  Michal Zawidzki},
  title        = {Proof Theory of Skew Non-Commutative {MILL}},
  booktitle    = {Proceedings of the 10th International Conference on Non-Classical
                  Logics. Theory and Applications, {NCL} 2022, {\L}{\'{o}}d{\'{z}},
                  Poland, 14-18 March 2022},
  series       = {{EPTCS}},
  volume       = {358},
  pages        = {118--135},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.358.9},
  doi          = {10.4204/EPTCS.358.9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-06727.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/VeltriW21,
  author       = {Niccol{\`{o}} Veltri and
                  Niels van der Weide},
  title        = {Constructing Higher Inductive Types as Groupoid Quotients},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {17},
  number       = {2},
  year         = {2021},
  url          = {https://lmcs.episciences.org/7391},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/VeltriW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/AhrensFMVW21,
  author       = {Benedikt Ahrens and
                  Dan Frumin and
                  Marco Maggesi and
                  Niccol{\`{o}} Veltri and
                  Niels van der Weide},
  title        = {Bicategories in univalent foundations},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {31},
  number       = {10},
  pages        = {1232--1269},
  year         = {2021},
  url          = {https://doi.org/10.1017/S0960129522000032},
  doi          = {10.1017/S0960129522000032},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mscs/AhrensFMVW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fscd/Veltri21,
  author       = {Niccol{\`{o}} Veltri},
  editor       = {Naoki Kobayashi},
  title        = {Type-Theoretic Constructions of the Final Coalgebra of the Finite
                  Powerset Functor},
  booktitle    = {6th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2021, July 17-24, 2021, Buenos Aires, Argentina
                  (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {195},
  pages        = {22:1--22:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2021.22},
  doi          = {10.4230/LIPICS.FSCD.2021.22},
  timestamp    = {Tue, 06 Jul 2021 15:26:45 +0200},
  biburl       = {https://dblp.org/rec/conf/fscd/Veltri21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/Veltri21,
  author       = {Niccol{\`{o}} Veltri},
  editor       = {Alexandra Silva and
                  Renata Wassermann and
                  Ruy J. G. B. de Queiroz},
  title        = {Coherence via Focusing for Symmetric Skew Monoidal Categories},
  booktitle    = {Logic, Language, Information, and Computation - 27th International
                  Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13038},
  pages        = {184--200},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88853-4\_12},
  doi          = {10.1007/978-3-030-88853-4\_12},
  timestamp    = {Wed, 07 Dec 2022 23:14:05 +0100},
  biburl       = {https://dblp.org/rec/conf/wollic/Veltri21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2112-14057,
  author       = {Niccol{\`{o}} Veltri and
                  Niels F. W. Voorneveld},
  editor       = {Ana Sokolova},
  title        = {Inductive and Coinductive Predicate Liftings for Effectful Programs},
  booktitle    = {Proceedings 37th Conference on Mathematical Foundations of Programming
                  Semantics, {MFPS} 2021, Hybrid: Salzburg, Austria and Online, 30th
                  August - 2nd September, 2021},
  series       = {{EPTCS}},
  volume       = {351},
  pages        = {260--277},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.351.16},
  doi          = {10.4204/EPTCS.351.16},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-14057.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ppdp/2021,
  editor       = {Niccol{\`{o}} Veltri and
                  Nick Benton and
                  Silvia Ghilezan},
  title        = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
                  of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479394},
  doi          = {10.1145/3479394},
  isbn         = {978-1-4503-8689-0},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/MannaaMV20,
  author       = {Bassel Mannaa and
                  Rasmus Ejlers M{\o}gelberg and
                  Niccol{\`{o}} Veltri},
  title        = {Ticking clocks as dependent right adjoints: Denotational semantics
                  for clocked type theory},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {16},
  number       = {4},
  year         = {2020},
  url          = {https://lmcs.episciences.org/6980},
  timestamp    = {Wed, 16 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/MannaaMV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/VeltriV20,
  author       = {Niccol{\`{o}} Veltri and
                  Andrea Vezzosi},
  editor       = {Jasmin Blanchette and
                  Catalin Hritcu},
  title        = {Formalizing {\(\pi\)}-calculus in guarded cubical Agda},
  booktitle    = {Proceedings of the 9th {ACM} {SIGPLAN} International Conference on
                  Certified Programs and Proofs, {CPP} 2020, New Orleans, LA, USA, January
                  20-21, 2020},
  pages        = {270--283},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3372885.3373814},
  doi          = {10.1145/3372885.3373814},
  timestamp    = {Sun, 02 Oct 2022 15:58:04 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/VeltriV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfps/UustaluVZ20,
  author       = {Tarmo Uustalu and
                  Niccol{\`{o}} Veltri and
                  Noam Zeilberger},
  editor       = {Patricia Johann},
  title        = {Eilenberg-Kelly Reloaded},
  booktitle    = {Proceedings of the 36th Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2020, Online, October 1, 2020},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {352},
  pages        = {233--256},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.entcs.2020.09.012},
  doi          = {10.1016/J.ENTCS.2020.09.012},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfps/UustaluVZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-03809,
  author       = {Tarmo Uustalu and
                  Niccol{\`{o}} Veltri and
                  Noam Zeilberger},
  editor       = {Claudio Sacerdoti Coen and
                  Alwen Tiu},
  title        = {Deductive Systems and Coherence for Skew Prounital Closed Categories},
  booktitle    = {Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages:
                  Theory and Practice, {LFMTP} 2020, Paris, France, 29th June 2020},
  series       = {{EPTCS}},
  volume       = {332},
  pages        = {35--53},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.332.3},
  doi          = {10.4204/EPTCS.332.3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-03809.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10487,
  author       = {Tarmo Uustalu and
                  Niccol{\`{o}} Veltri and
                  Noam Zeilberger},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Proof Theory of Partially Normal Skew Monoidal Categories},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {230--246},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.16},
  doi          = {10.4204/EPTCS.333.16},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10487.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2003-05213,
  author       = {Tarmo Uustalu and
                  Niccol{\`{o}} Veltri and
                  Noam Zeilberger},
  title        = {The Sequent Calculus of Skew Monoidal Categories},
  journal      = {CoRR},
  volume       = {abs/2003.05213},
  year         = {2020},
  url          = {https://arxiv.org/abs/2003.05213},
  eprinttype    = {arXiv},
  eprint       = {2003.05213},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-05213.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2004-01709,
  author       = {Bassel Mannaa and
                  Rasmus Ejlers M{\o}gelberg and
                  Niccol{\`{o}} Veltri},
  title        = {Ticking clocks as dependent right adjoints: Denotational semantics
                  for clocked type theory},
  journal      = {CoRR},
  volume       = {abs/2004.01709},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.01709},
  eprinttype    = {arXiv},
  eprint       = {2004.01709},
  timestamp    = {Wed, 08 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-01709.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/ChapmanUV19,
  author       = {James Chapman and
                  Tarmo Uustalu and
                  Niccol{\`{o}} Veltri},
  title        = {Quotienting the delay monad by weak bisimilarity},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {29},
  number       = {1},
  pages        = {67--92},
  year         = {2019},
  url          = {https://doi.org/10.1017/S0960129517000184},
  doi          = {10.1017/S0960129517000184},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/ChapmanUV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/MogelbergV19,
  author       = {Rasmus Ejlers M{\o}gelberg and
                  Niccol{\`{o}} Veltri},
  title        = {Bisimulation as path type for guarded recursive types},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{POPL}},
  pages        = {4:1--4:29},
  year         = {2019},
  url          = {https://doi.org/10.1145/3290317},
  doi          = {10.1145/3290317},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MogelbergV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/KaarsgaardV19,
  author       = {Robin Kaarsgaard and
                  Niccol{\`{o}} Veltri},
  editor       = {Graham Hutton},
  title        = {En Garde! Unguarded Iteration for Reversible Computation in the Delay
                  Monad},
  booktitle    = {Mathematics of Program Construction - 13th International Conference,
                  {MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11825},
  pages        = {366--384},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-33636-3\_13},
  doi          = {10.1007/978-3-030-33636-3\_13},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/KaarsgaardV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/VeltriW19,
  author       = {Niccol{\`{o}} Veltri and
                  Niels van der Weide},
  editor       = {Herman Geuvers},
  title        = {Guarded Recursion in Agda via Sized Types},
  booktitle    = {4th International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
  series       = {LIPIcs},
  volume       = {131},
  pages        = {32:1--32:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2019.32},
  doi          = {10.4230/LIPICS.FSCD.2019.32},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/VeltriW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/UustaluVZ18,
  author       = {Tarmo Uustalu and
                  Niccol{\`{o}} Veltri and
                  Noam Zeilberger},
  editor       = {Sam Staton},
  title        = {The Sequent Calculus of Skew Monoidal Categories},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {345--370},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.017},
  doi          = {10.1016/J.ENTCS.2018.11.017},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/UustaluVZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1810-13261,
  author       = {Rasmus Ejlers M{\o}gelberg and
                  Niccol{\`{o}} Veltri},
  title        = {Bisimulation as path type for guarded recursive types},
  journal      = {CoRR},
  volume       = {abs/1810.13261},
  year         = {2018},
  url          = {http://arxiv.org/abs/1810.13261},
  eprinttype    = {arXiv},
  eprint       = {1810.13261},
  timestamp    = {Thu, 08 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-13261.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/UustaluV17,
  author       = {Tarmo Uustalu and
                  Niccol{\`{o}} Veltri},
  title        = {Finiteness and rational sequences, constructively},
  journal      = {J. Funct. Program.},
  volume       = {27},
  pages        = {e13},
  year         = {2017},
  url          = {https://doi.org/10.1017/S0956796817000041},
  doi          = {10.1017/S0956796817000041},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/UustaluV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfrea/ChapmanUV17,
  author       = {James Chapman and
                  Tarmo Uustalu and
                  Niccol{\`{o}} Veltri},
  title        = {Formalizing Restriction Categories},
  journal      = {J. Formaliz. Reason.},
  volume       = {10},
  number       = {1},
  pages        = {1--36},
  year         = {2017},
  url          = {https://doi.org/10.6092/issn.1972-5787/6237},
  doi          = {10.6092/ISSN.1972-5787/6237},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfrea/ChapmanUV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/UustaluV17,
  author       = {Tarmo Uustalu and
                  Niccol{\`{o}} Veltri},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Partiality and Container Monads},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {406--425},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_20},
  doi          = {10.1007/978-3-319-71237-6\_20},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/UustaluV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/UustaluV17,
  author       = {Tarmo Uustalu and
                  Niccol{\`{o}} Veltri},
  editor       = {Dang Van Hung and
                  Deepak Kapur},
  title        = {The Delay Monad and Restriction Categories},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International
                  Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10580},
  pages        = {32--50},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-67729-3\_3},
  doi          = {10.1007/978-3-319-67729-3\_3},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/UustaluV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/FirsovUV16,
  author       = {Denis Firsov and
                  Tarmo Uustalu and
                  Niccol{\`{o}} Veltri},
  editor       = {Robert Atkey and
                  Neelakantan R. Krishnaswami},
  title        = {Variations on Noetherianness},
  booktitle    = {Proceedings 6th Workshop on Mathematically Structured Functional Programming,
                  MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016},
  series       = {{EPTCS}},
  volume       = {207},
  pages        = {76--88},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.207.4},
  doi          = {10.4204/EPTCS.207.4},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/FirsovUV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/ChapmanUV15,
  author       = {James Chapman and
                  Tarmo Uustalu and
                  Niccol{\`{o}} Veltri},
  editor       = {Martin Leucker and
                  Camilo Rueda and
                  Frank D. Valencia},
  title        = {Quotienting the Delay Monad by Weak Bisimilarity},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
                  Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9399},
  pages        = {110--125},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25150-9\_8},
  doi          = {10.1007/978-3-319-25150-9\_8},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/ChapmanUV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/splst/Veltri15,
  author       = {Niccol{\`{o}} Veltri},
  editor       = {Jyrki Nummenmaa and
                  Outi Sievi{-}Korte and
                  Erkki M{\"{a}}kinen},
  title        = {Two set-based implementations of quotients in type theory},
  booktitle    = {Proceedings of the 14th Symposium on Programming Languages and Software
                  Tools (SPLST'15), Tampere, Finland, October 9-10, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1525},
  pages        = {194--205},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1525/paper-14.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/splst/Veltri15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.