We stand with Ukraine  

Enrico Ghiorzi

Orcid: 0000-0001-5983-6230

According to our database1, Enrico Ghiorzi authored at least 8 papers between 2021 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Learning Linear Temporal Properties for Autonomous Robotic Systems.
[BibTeX]
[DOI]
Enrico Ghiorzi
,
Michele Colledanchise
,
Gianluca Piquet
,
Stefano Bernagozzi
,
Armando Tacchella
,
Lorenzo Natale
IEEE Robotics Autom. Lett., May, 2023

2022
Internal Enriched Categories.
[BibTeX]
[DOI]
Enrico Ghiorzi
Appl. Categorical Struct., 2022

(Deep) induction rules for GADTs.
[BibTeX]
[DOI]
Patricia Johann
,
Enrico Ghiorzi
Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021
Parametricity for Nested Types and GADTs.
[BibTeX]
[DOI]
Patricia Johann
,
Enrico Ghiorzi
Log. Methods Comput. Sci., 2021

(Deep) Induction Rules for GADTs.
[BibTeX]
[DOI]
Patricia Johann
,
Enrico Ghiorzi
,
Daniel Jeffries
CoRR, 2021

GADTs, Functoriality, Parametricity: Pick Two.
[BibTeX]
[DOI]
Patricia Johann
,
Enrico Ghiorzi
,
Daniel Jeffries
Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Parametricity for Nested Types and GADTs.
[BibTeX]
[DOI]
Patricia Johann
,
Enrico Ghiorzi
,
Daniel Jeffries
CoRR, 2021

Parametricity for Primitive Nested Types.
[BibTeX]
[DOI]
Patricia Johann
,
Enrico Ghiorzi
,
Daniel Jeffries
Proceedings of the Foundations of Software Science and Computation Structures, 2021


  Loading...