Section: New Results
A Fresh Look at the -Calculus
Participant : Beniamino Accattoli.
This paper [25] is the trace of the invited talk given by Accattoli at FSCD 2019. More than just an abstract, the paper is a lengthy overview of the research on