Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Pietro Barbieri
Map detail
Pietro Barbieri3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipPietro BarbieriAPietro BarbieriResearcherEnhancing expressivity of checked corecursive streams (extended version)WEnhancing expressivity ...preprint / 2022Sound Regular Corecursion in coFJWSound Regular Corecursi...preprint / 2020
Person2 links

Pietro Barbieri

Researcher