From the 1 of 1 linked paper with an AI index.
1 paper · 1 filter
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…