Formalizing pi-Calculus in Guarded Cubical Agda

POPL 2020