From the 1 of 1 linked paper with an AI index.
1 paper
Lea Trogni, Gabriele Cecilia, Alberto Momigliano
The paper formalizes strong barbed similarity for the pi‑calculus in the Beluga proof assistant, using coinductive and copattern‑based techniques to obtain concise proofs of behavi…