Graph explorer

Beniamino Accattoli

Beniamino Accattoli contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapBeniamino Accattoli
13 nodes12 links
Beniamino Accattoli13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipABeniamino AccattoliResearcherWCall-by-Value Solvabili...preprint / 2022WThe Theory of Call-by-V...preprint / 2022WThe Abstract Machinery ...preprint / 2020WOn the Invariance of th...preprint / 2012WProof nets and the call...preprint / 2013WEvaluating functions as...preprint / 2013WBeta Reduction is Invar...preprint / 2014WDistilling Abstract Mac...preprint / 2014WOn the Relative Usefuln...preprint / 2015WPreservation of Strong ...preprint / 2012WA Strong Distillerypreprint / 2016WOpen Call-by-Value (Ext...preprint / 2016
PersonSignal 1012 links

Beniamino Accattoli

Researcher

Open