author = { Accattoli, Beniamino AND Blanc, Horace AND Sacerdoti Coen, Claudio Beniamino Accattoli and Horace Blanc and Claudio Sacerdoti Coen },

title = { Formalizing Functions as Processes },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Lambda calculus , Abella , proof assistants , pi calculus , binders },

year = {2023},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }