Formalizing Functions as Processes. - Beniamino Accattoli; Horace Blanc; Claudio Sacerdoti Coen (ITP, 2023)