Graph explorer

Research map

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

Gianluca Curzi
Map detail
Gianluca Curzi5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipAuthorshipGianluca CurziAGianluca CurziResearcherLinear AdditivesWLinear Additivespreprint / 2021Probabilistic Soft Type AssignmentWProbabilistic Soft Type...preprint / 2020A type-assignment of linear erasure and duplicationWA type-assignment of li...preprint / 2020The Benefit of Being Non-Lazy in Probabilistic λ-calculusWThe Benefit of Being No...preprint / 2020
Person4 links

Gianluca Curzi

Researcher