E-LIB Suche - Ergebnisse für: Veltri, Niccolò

1

Formalizing CCS and π-calculus in Guarded Cubical Agda:

Veltri, Niccolò ; Vezzosi, Andrea
Journal of Logical and Algebraic Methods in Programming. 131 (2023) - p. 100846 , 2023

Link: https://doi.org/10.1016/..

2

Maximally Multi-focused Proofs for Skew Non-Commutative MIL:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

Veltri, Niccolò - p. 377-393 , 2023

Link: https://doi.org/10.1007/..

3

Report on PPDP/LOPSTR 2021:

Veltri, Niccolò
ACM SIGLOG News. 9 (2022) 1 - p. 23-24 , 2022

Link: https://doi.org/10.1145/..

4

Streams of Approximations, Equivalence of Recursive Effectf..:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,

Veltri, Niccoló ; Voorneveld, Niels - p. 198-221 , 2022

Link: https://doi.org/10.1007/..

5

Report on PPDP/LOPSTR 2021:

Veltri, Niccolò
ACM SIGLOG News. 9 (2022) 1 - p. 23-24 , 2022

Link: https://dl.acm.org/doi/1..

6

Coherence via Focusing for Symmetric Skew Monoidal Categori..:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

Veltri, Niccolò - p. 184-200 , 2021

Link: https://doi.org/10.1007/..

7

23rd International Symposium on Principles and Practice of ..:

Veltri, Niccolò ; Benton, Nick ; Ghilezan, Silvia , 2021

Link: https://dl.acm.org/doi/1..

8

Bicategories in univalent foundations:

Ahrens, Benedikt ; Frumin, Dan ; Maggesi, Marco..
Mathematical Structures in Computer Science. 31 (2021) 10 - p. 1232-1269 , 2021

Link: https://doi.org/10.1017/..

9

Constructing Higher Inductive Types as Groupoid Quotients:

Veltri, Niccolò ; van der Weide, Niels
Logical Methods in Computer Science. 17, Issue 2 (2021) - p. , 2021

Link: https://doi.org/10.23638..

10

The Sequent Calculus of Skew Monoidal Categories:

, In: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics; Outstanding Contributions to Logic,

Uustalu, Tarmo ; Veltri, Niccolò ; Zeilberger, Noam - p. 377-406 , 2021

Link: https://doi.org/10.1007/..

11

Eilenberg-Kelly Reloaded:

Uustalu, Tarmo ; Veltri, Niccolò ; Zeilberger, Noam
Electronic Notes in Theoretical Computer Science. 352 (2020) - p. 233-256 , 2020

Link: https://doi.org/10.1016/..

12

Formalizing 𝜋-calculus in guarded cubical Agda:

, In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Veltri, Niccolò ; Vezzosi, Andrea - p. 270-283 , 2020

Link: https://dl.acm.org/doi/1..

13

Bisimulation as path type for guarded recursive types:

Møgelberg, Rasmus Ejlers ; Veltri, Niccolò
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-29 , 2019

Link: https://dl.acm.org/doi/1..

14

Bisimulation as path type for guarded recursive types:

Møgelberg, Rasmus Ejlers ; Veltri, Niccolò
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-29 , 2019

Link: https://doi.org/10.1145/..

15

En Garde! Unguarded Iteration for Reversible Computation in..:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,

Kaarsgaard, Robin ; Veltri, Niccolò - p. 366-384 , 2019

Link: https://doi.org/10.1007/..